Structural Recursive Definitions in Type Theory (1998)

Cached

Download Links

by Eduardo Gimenez
Venue:Automata, Languages and Programming, 25th International Colloquium, ICALP’98
Citations:35 - 0 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
459 Comprehending Monads – Philip Wadler - 1992
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
333 Theorems for free! – Philip Wadler - 1989
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993