Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes" Technical report ICS Utrecht University, UU-CS-2002-011.
(2002)
Languages mentioned
Generic Haskell
{2000}