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...
প্রধান লেখক: | , |
---|---|
বিন্যাস: | Journal article |
ভাষা: | English |
প্রকাশিত: |
2001
|