Login / Signup

TypeCase: a design pattern for type-indexed functions.

Bruno C. d. S. OliveiraJeremy Gibbons
Published in: Haskell (2005)
Keyphrases