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

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
187 Constraint Handling Rules – Thom Frühwirth - 1995
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
132 Qualified types: Theory and practice – M P Jones - 1992
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
30 A Prolog Constraint Handling Rules compiler and runtime system – C Holzbaur, T Frühwirth
41 Optimizing Compilation of Constraint Handling Rules – Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey - 2001
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
939 A theory of type polymorphism in programming – Robin Milner - 1978
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
37 María García de la – Gregory J Duck, Peter J Stuckey - 2004
34 Optimal Union-Find in Constraint Handling Rules – Tom Schrijvers, Thom Frühwirth - 2006