Polynomial Polymorphism (1995)

by C. Barry Jay
Venue:Proceedings of the Eighteenth Australasian Computer Science Conference: Glenelg, South Australia 1--3 February
Citations:12 - 4 self

Documents Related by Co-Citation

60 A Semantics for Shape – C. Barry Jay - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
939 A theory of type polymorphism in programming – Robin Milner - 1978
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
93 Polytypic programming – Patrik Jansson - 2000
28 Polytypic Pattern Matching – Johan Jeuring - 1995
492 Simple word problems in universal algebras – D E Knuth, P B Bendix - 1970
7 Data Categories – C. Barry Jay - 1996
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
1312 Monads for functional programming – Philip Wadler - 1995
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
31 O.: Categories, relations and dynamic programming – de Moor - 1992
326 Theorems for free! – Philip Wadler - 1989
24 Automatic generation and use of abstract structure operators – T Sheard - 1991
75 Adaptive Object-Oriented Programming using Graph-Based Customization – Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao - 1994
16 Type Safe Abstractions Using Program Generators – Tim Sheard, Neal Nelson - 1995