Searching for "Nested Datatypes." – sorted by Relevance.
-
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

