On the semantics of nested datatypes
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...
Үндсэн зохиолчид: | Martin, C, Gibbons, J |
---|---|
Формат: | Journal article |
Хэл сонгох: | English |
Хэвлэсэн: |
2001
|
Ижил төстэй зүйлс
-
On the Semantics of Nested Datatypes
-н: Martin, C, зэрэг
Хэвлэсэн: (2001) -
Disciplined, efficient, generalised folds for nested datatypes
-н: Martin, C, зэрэг
Хэвлэсэн: (2004) -
Disciplined‚ efficient‚ generalised folds for nested datatypes
-н: Martin, C, зэрэг
Хэвлэсэн: (2004) -
Nested Datatypes
-н: Bird, R, зэрэг
Хэвлэсэн: (1998) -
Generalised Folds for Nested Datatypes
-н: Bird, R, зэрэг
Хэвлэсэн: (1999)