Pages that link to "Item:Q5189646"
From MaRDI portal
The following pages link to Ott: Effective tool support for the working semanticist (Q5189646):
Displayed 18 items.
- Ott (Q13417) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- A formalized general theory of syntax with bindings (Q1687739) (← 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)
- Mechanized metatheory revisited (Q2323447) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Term-generic logic (Q2339466) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Lem: A Lightweight Tool for Heavyweight Semantics (Q3088021) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q5014449) (← 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)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)
- (Q6079236) (← links)