A Class of Commuting Relators (1992)

Cached

Download Links

by Roland Backhouse , Henk Doornbos , Paul Hoogendijk
Venue:Utrecht University, Dept Computer Science
Citations:9 - 2 self

Documents Related by Co-Citation

97 and Order in Algorithmics – Law - 1992
455 Comprehending Monads – Philip Wadler - 1992
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
105 Data structures and program transformation – G Malcolm - 1990
215 An introduction to the theory of lists – R S Bird - 1987
31 O.: Categories, relations and dynamic programming – de Moor - 1992
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
132 Naturally Embedded Query Languages – Val Breazu-tannen, Peter Buneman, Limsoon Wong - 1992
3 Type inference for polytypic functions – P Jansson, J Jeuring - 1996
6 A Categorical Approach to Functional Programming – Daniel Tuijnman - 1995
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
4 Type parametric programming with compile-time reflection – T Sheard - 1993
31 Category Theoretic Approach to Data Types – T Hagino - 1987
22 Datatype Laws without Signatures – Maarten M. Fokkinga - 1996
28 Polytypic Pattern Matching – Johan Jeuring - 1995
13 A Generic Program for Sequential Decision Processes – Oege De Moor - 1995
326 Theorems for free! – Philip Wadler - 1989
2 G.Hutton, Bananas in Space: Extending Squiggol to Function-Space Types – E Meijer - 1995