A theory of overloading (2002)

Cached

Download Links

by Peter J. Stuckey , Martin Sulzmann , Jeremy Wazny
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS
Citations:53 - 18 self

Active Bibliography

15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
Extracting Programs from . . . – Martin Sulzmann - 2006
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
Type Inference for Multi-Parameter Type Classes – Martin Sulzmann, Peter J. Stuckey
14 Type Classes and Constraint Handling Rules – Kevin Glynn, Peter J. Stuckey, Martin Sulzmann - 2000
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
4 Type processing by constraint reasoning – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2006
9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
5 Type Classes With More Higher-Order Polymorphism – Matthias Neubauer, Peter Thiemann - 2002
A Solution to Haskell’s Multi-Parameter Type Class Dilemma – Carlos Camarão, Rodrigo Ribeiro, Lucília Figueiredo, Cristiano Vasconcellos
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
5 The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving – Mark-Oliver Stehr
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
1 A first attempt at type class directives – Bastiaan Heeren, Bastiaan Heeren, Jurriaan Hage, Jurriaan Hage - 2004