TYPES.HK
Random stuffs waiting to be organized.
- De Bruijn indices, in TAPL or PLFA style?
- Snippets of QuickCheck in Haskell
- λx.x is not polymorphic?
- Snippets of Lens in Haskell
- What is first class label?
- What is abstracting binding trees?
- Relevance logic and bidirectional typing
- Formalise your type system, intrinsically
- On eliminating nat
- Occurrence Typing in Typed Racket
- Notes on PLT Redex