Home | TYPES.HK

TYPES.HK

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
2020-12-31 Notes on PLT Redex

#programming-languages #types