The following pages link to James Cheney (Q616848):
Displaying 38 items.
- Equivariant unification (Q616849) (← links)
- Explicit auditing (Q1623147) (← links)
- Introduction to bidirectional transformations (Q1725926) (← links)
- Toward a theory of self-explaining computation (Q1799304) (← links)
- A formalization of SQL with nulls (Q2102947) (← links)
- Verified self-explaining computation (Q2176673) (← links)
- Query lifting. Language-integrated query for heterogeneous nested collections (Q2233480) (← links)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- A dependent nominal type theory (Q2881075) (← links)
- A Core Calculus for Provenance (Q2894337) (← links)
- Scrap your nameplate (Q2936781) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- Revisiting “forward node-selecting queries over trees” (Q2943537) (← links)
- Mechanizing the metatheory of LF (Q2946633) (← links)
- Mechanizing the Metatheory of mini-XQuery (Q3100214) (← links)
- Provenance as dependency analysis (Q3103615) (← links)
- Reflections on Monadic Lenses (Q3188278) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Causally Consistent Dynamic Slicing (Q4608670) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- (Q4803644) (← links)
- (Q5021216) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)
- (Q5111206) (← links)
- (Q5151018) (← links)
- Functional programs that explain their work (Q5168916) (← links)
- FLUX (Q5178748) (← links)
- A practical theory of language-integrated query (Q5244819) (← links)
- Logic Programming (Q5313189) (← links)
- The Semantics of Nominal Logic Programs (Q5449613) (← links)
- Regular Expression Subtyping for XML Query and Update Languages (Q5458384) (← links)
- Automata, Languages and Programming (Q5466474) (← links)
- Completeness and Herbrand theorems for nominal logic (Q5477637) (← links)
- Term Rewriting and Applications (Q5703876) (← links)
- Typed Lambda Calculi and Applications (Q5704024) (← links)
- Foundations of Software Science and Computational Structures (Q5705899) (← links)
- A simple sequent calculus for nominal logic (Q5739979) (← links)
