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:35 - 6 self

Active Bibliography

60 A Semantics for Shape – C. Barry Jay - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
2 Matrices, Monads and the Fast Fourier Transform – C. Barry Jay - 1993
459 Comprehending Monads – Philip Wadler - 1992
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
333 Theorems for free! – Philip Wadler - 1989
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993