Type Classes and Constraint Handling Rules (2000)

Cached

Download Links

by Kevin Glynn , Peter J. Stuckey , Martin Sulzmann
Venue:In First Workshop on Rule-Based Constraint Reasoning and Programming
Citations:14 - 4 self

Active Bibliography

53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
Extracting Programs from . . . – Martin Sulzmann - 2006
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
5 Type Classes With More Higher-Order Polymorphism – Matthias Neubauer, Peter Thiemann - 2002
8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994
5 The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving – Mark-Oliver Stehr
9 Javagi: Generalized interfaces for java – Stefan Wehr, Ralf Lämmel, Peter Thiemann - 2007
8 ML modules and Haskell type classes: A constructive comparison – Stefan Wehr, Manuel M. T. Chakravarty
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
An Effective Proof Rule for General Type Classes – Ron Van Kesteren, Marko Van Eekelen, Maarten De Mol - 2004
19 Named Instances for Haskell Type Classes – Wolfram Kahl, et al.
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
1 C++ Templates/Traits versus Haskell Type Classes – Sunil Kothari, Martin Sulzmann - 2005
General Terms Languages, theory – unknown authors