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
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
187 Constraint Handling Rules – Thom Frühwirth - 1995
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
30 A Prolog Constraint Handling Rules compiler and runtime system – C Holzbaur, T Frühwirth
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
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
41 Optimizing Compilation of Constraint Handling Rules – Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey - 2001
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
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
14 As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs – Thom Frühwirth - 2002
25 Compiling constraint handling rules into Prolog with attributed variables – Christian Holzbaur - 1999
46 Analyses, optimizations and extensions of Constraint Handling Rules – T Schrijvers
26 Adaptive constraint handling with CHR in Java – A Wolf - 2001
22 compiler home – Glasgow haskell