"Faking it: Simulating dependent types in Haskell."

Conor McBride (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics