home
||
publications
||
teaching
||
thesis
||
blog
||
contact
Blog posts with tag "reflection"
Canonical Structures in Agda using REWRITE
2015-08-05
Currying using Canonical Structures
2015-07-28
Resource Aware Contexts and Proof Search for ILL
2015-03-02
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