The following pages link to Ott (Q13417):
Displayed 31 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Binding operators for nominal sets (Q1744371) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- System description: lang-n-change -- a tool for transforming languages (Q2039949) (← links)
- \texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) (← links)
- BNF-style notation as it is actually used (Q2287909) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Program verification by coinduction (Q2324001) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Term-generic logic (Q2339466) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Lem: A Lightweight Tool for Heavyweight Semantics (Q3088021) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- Operational Reasoning for Concurrent Caml Programs and Weak Memory Models (Q3523182) (← links)
- An ACL2 Tutorial (Q3543644) (← links)
- A Brief Overview of HOL4 (Q3543646) (← links)
- Formalising and Verifying Reference Attribute Grammars in Coq (Q3617697) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- Binders unbound (Q5176984) (← links)
- A Formalization of the C99 Standard in HOL, Isabelle and Coq (Q5200133) (← links)
- Romeo: A system for more flexible binding-safe programming (Q5371971) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)
- Secure distributed programming with value-dependent types (Q5398328) (← links)
- A trusted mechanised JavaScript specification (Q5408408) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)