The following pages link to F-ing modules (Q4983210):
Displaying 7 items.
- The locally nameless representation (Q1945914) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Mechanizing metatheory without typing contexts (Q2352491) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- 1ML with Special Effects (Q3188295) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
