Here be writings, tagged as "types".
Remove filter

• 2024-03-19 De Bruijn indices, in TAPL or PLFA style?
• 2023-04-26 Formalise your type system, intrinsically
• 2021-12-24 On eliminating nat
• 2021-11-11 Occurrence Typing in Typed Racket