The implementation of the Gofer functional programming system (1994)

by Mark P. Jones
Citations:53 - 4 self

Active Bibliography

A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
51 Typing Haskell in Haskell – Mark P. Jones - 1999
29 Type Classes with Existential Types – Konstantin Läufer - 1995
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
102 Compiling with Types – Greg Morrisett - 1995
9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
19 The Design and Implementation of Mondrian – Erik Meijer, Koen Claessen - 1997