TypeCase: A design pattern for type-indexed functions

A type-indexed function is a function that is defined for each member of some family of types. Haskell's type class mechanism provides collections of open type-indexed functions, in which the indexing family can be extended by defining a new type class instance but the collection of functions i...

全面介紹

書目詳細資料
Main Authors: Oliveira, B, Gibbons, J
格式: Conference item
出版: 2005