Conference item icon

Conference item

Parametric Datatype−Genericity

Abstract:

Datatype-generic programs are programs that are parametrized by a datatype or type functor: whereas polymorphic programs abstract from the \"integers\" in \"lists of integers\", datatype-generic programs abstract from the \"lists of\". There are two main styles of datatype-generic programming: the Algebra of Programming approach, characterized by structured recursion operators arising from initial algebras and final coalgebras, and the Generic Haskell approach, characterized by case analysis ...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1596614.1596626

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Edinburgh
Host title:
Workshop on Generic Programming
Publication date:
2009-08-01
DOI:
UUID:
uuid:236b15e4-da17-4a10-8f7e-614f45dee541
Local pid:
cs:74
Deposit date:
2015-03-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP