Matthew Brecknell
Tag: dependent types
Pattern-matching dependent types in Coq
21 May 2015
Coq
dependent types
screencast
B-trees with GADTs
15 May 2013
Haskell
data structures
dependent types
screencast