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

Active Bibliography

60 A Semantics for Shape – C. Barry Jay - 1995
2 Matrices, Monads and the Fast Fourier Transform – C. Barry Jay - 1993
1 Finite Objects in a Locos – C. B. Jay - 1994
7 Data Categories – C. Barry Jay - 1996
4 Monads, Shapely Functors and Traversals – E. Moggi, G. Bellè, C. B. Jay - 1999
4 What is a Data Type? – Paul Hoogendijk, Oege De Moor - 1996
1 Typed Intermediate Languages for Shape-Analysis – G. Bellè, E. Moggi - 1997
JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS – Maria Emilia Maietti
12 Representations of First Order Function Types as Terminal Coalgebras – Thorsten Altenkirch - 2001
1 Mapping Adl to the Bird-Meertens Formalism – Brad Alexander - 1994
6 Tail Recursion Through Universal Invariants – C. Barry Jay - 1993
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
3 Inductive Programming – Richard B. Kieburtz - 1993
1 Categorical Combinators for Charity – Peter M. Vesely, C Fl Peter M. Vesely - 1996
Higher-Order Charity – Mark A. Schroeder - 1997
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
Abstract – Ralf Lämmel - 2002
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000