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
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Author
Publisher:
Edinburgh
Publication date:
2009-08-01
DOI:
URN:
uuid:236b15e4-da17-4a10-8f7e-614f45dee541
Local pid:
cs:74

Terms of use


Metrics


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