Shapely Types and Shape Polymorphism (1994)

Cached

Download Links

by C. Barry Jay , J.R.B. Cockett
Venue:Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming
Citations:34 - 6 self

Documents Related by Co-Citation

93 Polytypic programming – Patrik Jansson - 2000
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
60 A Semantics for Shape – C. Barry Jay - 1995
1312 Monads for functional programming – Philip Wadler - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
225 Report on the programming language Haskell: A non-strict, purely functional language – Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young - 1992
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
46 A typed lambda calculus with categorical type constructors – Tatsuya Hagino - 1987
41 Calculate Polytypically! – Lambert Meertens - 1996
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
418 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1989
183 Topos Theory – P T Johnstone - 1977
6 Tail Recursion Through Universal Invariants – C. Barry Jay - 1993
15 List-arithmetic distributive categories: Locoi – J Robin Cockett - 1990
93 Introduction to extensive and distributive categories – A Carboni, S Lack, R Walters - 1993
16 Two applications of analytic functors – R Hasegawa - 2002
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997