Faking it: Simulating dependent types in Haskell

Conor McBride. Faking it: Simulating dependent types in Haskell. Journal of Functional Programming, 12(4&5):375-392, 2002.

Abstract

Abstract is missing.