Blog posts with tag "reflection"

• Canonical Structures in Agda using REWRITE2015-08-05T13:37:00Z
• Currying using Canonical Structures2015-07-28T13:37:00Z
• Resource Aware Contexts and Proof Search for ILL2015-03-02T13:37:00Z

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: 2025 07