Blog posts with tag "binders"
- Lazy Weakening and Equality Test2014-04-28
- A universe for syntax with binding2013-04-11
Tags cloud
datatype (3) functional programming (7) haskell (2) Agda (10) reflection (3) canonical structures (2) universe (2) coq (2) type safety (2) dependent types (2) binders (2) lambda calculus (3)Last update: 2024 12
