Interactive type debugging in Haskell
Open Access
- 28 August 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 72-83
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Finding all minimal unsatisfiable subsets2003
- A theory of overloading2002
- Compositional explanation of types and algorithmic debugging of type errors2001
- Type inference with constrained typesTheory and Practice of Object Systems, 1999
- Programming with Constraints1998
- Explaining type inferenceScience of Computer Programming, 1996
- Explaining type errors in polymorphic languagesACM Letters on Programming Languages and Systems, 1993
- How to make ad-hoc polymorphism less ad hoc1989
- Finding the source of type errors1986
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978