Pages that link to "Item:Q2936831"
From MaRDI portal
The following pages link to Complete and decidable type inference for GADTs (Q2936831):
Displayed 7 items.
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Safe typing of functional logic programs with opaque patterns and local bindings (Q2437797) (← links)
- Ambivalent Types for Principal Type Inference with GADTs (Q2937793) (← links)
- Hierarchy in Generic Programming Libraries (Q2941169) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- The essence of ornaments (Q5372005) (← links)