The following pages link to Uniqueness Typing Redefined (Q3612953):
Displayed 5 items.
- The locally nameless representation (Q1945914) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)
- Modelling Unique and Affine Typing Using Polymorphism (Q5410455) (← links)
- Linearity and uniqueness: an entente cordiale (Q6166794) (← links)