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

Ижил төстэй зүйлс