|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
14
|
Improving type error diagnosis
– P J Stuckey, M Sulzmann, J Wazny
- 2004
|
|
27
|
Scripting the Type Inference Process
– Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
- 2003
|
|
82
|
Coherence for Qualified Types
– Mark P. Jones
- 1993
|
|
41
|
Strongly typed heterogeneous collections
– Oleg Kiselyov
- 2004
|
|
30
|
Sound and Decidable Type Inference for Functional Dependencies
– Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann
- 2004
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
70
|
Implicit parameters: dynamic scoping with static types
– Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury
- 2000
|
|
34
|
A principled approach to operating system construction in Haskell
– Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
- 2005
|
|
8
|
High-level views on low-level representations
– Iavor S. Diatchki
- 2005
|
|
2
|
Writing Systems Software in a Functional Language ABSTRACT
– Iavor S. Diatchki, Rebekah Leslie
|
|
2
|
Strongly typed memory areas
– Iavor S Diatchki, Mark P Jones
- 2006
|
|
21
|
Interactive type debugging in haskell
– P J Stuckey, M Sulzmann, J Wazny
- 2003
|
|
16
|
Generalising Techniques for Type Debugging
– Bruce J. Mcadam
- 2000
|
|
26
|
Top Quality Type Error Messages
– B Heeren
- 2005
|
|
18
|
Understanding functional dependencies via Constraint Handling Rules
– M Sulzmann, G J Duck, S Peyton-Jones, P J Stuckey
- 2007
|
