When Do Datatypes Commute? (1997)

Cached

Download Links

by Paul Hoogendijk , Roland Backhouse
Venue:Category Theory and Computer Science, 7th International Conference, volume 1290 of LNCS
Citations:15 - 3 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
25 A Generic Theory of Datatypes – Paul Hoogendijk - 1997
93 Polytypic programming – Patrik Jansson - 2000
41 Calculate Polytypically! – Lambert Meertens - 1996
326 Theorems for free! – Philip Wadler - 1989
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
27 der Woude. Polynomial relators – R C Backhouse, P de Bruin, P Hoogendijk, G Malcolm, T S Voermans, J van - 1992
15 de Moor O – R Bird - 1996
28 Polytypic Pattern Matching – Johan Jeuring - 1995
105 Data structures and program transformation – G Malcolm - 1990
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
60 A Semantics for Shape – C. Barry Jay - 1995
215 An introduction to the theory of lists – R S Bird - 1987
27 Functorial ML – G. Belle, C. B. Jay, E. Moggi - 1996
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
17 A Generic Theory of Data Types – Paul Hoogendijk - 1997
25 der Woude. A relational theory of datatypes. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers – R C Backhouse, T S Voermans, J van - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995