Functorial ML (1996)

Cached

Download Links

by G. Belle , C. B. Jay , E. Moggi
Citations:27 - 9 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
41 Calculate Polytypically! – Lambert Meertens - 1996
60 A Semantics for Shape – C. Barry Jay - 1995
93 Polytypic programming – Patrik Jansson - 2000
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
82 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
20 The Functional Imperative: Shape! – C. B. Jay, P. A. Steckler - 1997
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
20 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
51 Implementation of the typed call-by-value -calculus using a stack of regions – M Tofte, J-P Talpin - 1994
25 A Monadic Calculus for Parallel Costing of a Functional Language of Arrays – C. B. Jay, M. I. Cole, M. Sekanina, P. Steckler - 1997
161 The essence of Algol – J C Reynolds - 1981
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995