Polynomial Polymorphism (1995)

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

Documents Related by Co-Citation

60 A Semantics for Shape – C. Barry Jay - 1995
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
370 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
1318 Monads for functional programming – Philip Wadler - 1995
568 Term Rewriting Systems – J. W. Klop - 1992
494 Simple word problems in universal algebras – D E Knuth, P Bendix - 1970
540 Direct Methods for Sparse Matrices – I S Duff, A M Erisman, J K Reid - 1986