The implementation of the Gofer functional programming system (1994)

by Mark P. Jones
Citations:53 - 4 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
63 editors. Report on the Programming Language Haskell 98. A non-strict Purely Functional Language – S Peyton Jones, J Hughes - 1999
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
2 Incremental evaluation through memoization – Leen van Dalen - 1992
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
22 About Charity – Robin Cockett, Tom Fukushima - 1992
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
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
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
48 Parametric overloading in polymorphic programming languages – S Kaes - 1988
445 The formulae-as-types notion of construction – W A Howard - 1980
163 An abstract view of programming languages – E Moggi - 1989
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992