The following pages link to Ott (Q5168920):
Displaying 10 items.
- Ott (Q13417) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← 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)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- A Brief Overview of HOL4 (Q3543646) (← links)
- Language transformations in the classroom (Q6643747) (← links)
