McBride, Conor "Faking It (Simulating Dependent Types in Haskell)" Journal of Functional Programming, 12(4& 5):375-392, 2002. Special Issue on Haskell
(2002)
Languages mentioned
Epigram
{1999} dependently typed functional programming language