Faking it: Simulating dependent types in Haskell

CONOR McBRIDE
[doi] [Google Scholar] [DBLP] [Citeseer]

Journal of Functional Programming 12(4-5)
Cambridge University Press
Pages 375-392
2002
Note(s): phantom types, dependent type