home
||
publications
||
teaching
||
thesis
||
blog
||
contact
Blog posts with tag "coq"
Currying using Canonical Structures
2015-07-28
Non-regular Parameters are OK
2014-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 09