A tutorial implementation of a dependently typed lambda calculus (2001)

by Andres Löh , Conor McBride , Wouter Swierstra
Citations:15 - 0 self