Exploring the Design Space for Type-based Implicit Parameterization (1999)

Cached

Download Links

by Mark P. Jones
Venue:Proceedings of Supercomputing '97
Citations:9 - 1 self

Active Bibliography

153 Type classes with functional dependencies – Mark P. Jones - 2000
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
51 Typing Haskell in Haskell – Mark P. Jones - 1999
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, LucĂ­lia Figueiredo, Belo Horizonte, Ouro Preto - 1999
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
55 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
Abstract A Generic Usage Analysis with Subeffect Qualifiers – unknown authors
121 Implementing Type Classes – John Peterson, Mark Jones
A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
Extracting Programs from . . . – Martin Sulzmann - 2006
47 First-class Polymorphism with Type Inference – Mark P. Jones
13 Object-oriented style overloading for Haskell – Mark Shields, Simon Peyton Jones - 2001
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006