(1997)

Cached

Download Links

by Unknown Authors

Active Bibliography

91 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
333 Theorems for free! – Philip Wadler - 1989
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
222 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
211 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
207 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993