Searching for "Nested Datatypes." – sorted by Relevance.
62 documents found, showing 1 through 10.
Next 10 →
-
Nested Datatypes
- …Nested Datatypes Richard Bird 1 and Lambert Meertens 2 1 Programming Research Group, Oxford…
- Cited by 57 (2 self) – Add To MetaCart
-
Generic Operations on Nested Datatypes
- …Generic Operations on Nested Datatypes Ian Bayley Balliol College Thesis submitted for the degree…
- Cited by 3 (0 self) – Add To MetaCart
-
On the Semantics of Nested Datatypes
- …On the Semantics of Nested Datatypes Clare Martin Jeremy Gibbons May 11, 2000 Keywords Data…
- Cited by 2 (1 self) – Add To MetaCart
-
Generalised Folds for Nested Datatypes
- …Formal Aspects of Computing (1999) 3: 1-000 c 1999 BCS Generalised folds for nested datatypes…
- Cited by 25 (1 self) – Add To MetaCart
-
Polytypic Functions Over Nested Datatypes
- … Nested Datatypes + Ralf Hinze Institut fur Informatik III, Universitat Bonn, Romerstrae 164, 53117 Bonn…
- Cited by 11 (5 self) – Add To MetaCart
-
Numerical Representations as Higher-Order Nested Datatypes
- …1 Numerical Representations as Higher-Order Nested Datatypes December 1998 RALF HINZE Institut…
- Cited by 5 (2 self) – Add To MetaCart
-
Disciplined, Efficient, Generalised Folds for Nested Datatypes
- …Underconsiderationfor publication Disciplined, efficient, generalised folds for nested datatypes…
- Cited by 3 (0 self) – Add To MetaCart
-
de Bruijn notation as a nested datatype
- … University Press 1 de Bruijn notation as a nested datatype Richard S. Bird Programming Research Group…
- Cited by 49 (2 self) – Add To MetaCart
-
Co-)iteration for higher-order nested datatypes
- …(Co-)Iteration for Higher-Order Nested Datatypes Andreas Abel 1⋆ and Ralph Matthes 2⋆⋆ 1…
- Cited by 7 (4 self) – Add To MetaCart
-
Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes
- …Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes Andreas Abel a; , Ralph…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
