Journal article icon

Journal article

On the semantics of nested datatypes

Abstract:
The initial algebra semantics of nested datatypes was proved to be valid in a wide class of categories. There is a unique morphism from each initial functional algebra to any other functional algebra. folds are standard operators in functional programming and satisfy fusion laws that are useful for program transformation. Asemantic for second order nested datatypes were used so that generalized folds could also be defined in second order datatypes.
Publication status:
Published

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Journal:
INFORMATION PROCESSING LETTERS
Volume:
80
Issue:
5
Pages:
233-238
Publication date:
2001-12-15
DOI:
ISSN:
0020-0190
URN:
uuid:9624d260-58d5-4e33-8a7c-9e3f33f3f162
Source identifiers:
163491
Local pid:
pubs:163491

Terms of use


Metrics



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

TO TOP