Blog posts with tag "datatype"

• Poltergeist Types2021-04-16
• Cyclic Lists, Purely2014-08-12
• Non-regular Parameters are OK2014-07-17

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