On the Semantics of Nested Datatypes
Nested (or non-regular or non-uniform) datatypes are recursively defined parameterised datatypes in which the parameter of the datatype changes in the recursive call. The standard semantic definition of recursively defined datatypes is as initial algebras in the category \\mathitSet of sets and tota...
| Main Authors: | , |
|---|---|
| פורמט: | Journal article |
| יצא לאור: |
2001
|