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