Type Class Directives
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 253-267
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Helium, for learning Haskell2003
- Interactive type debugging in Haskell2003
- Scripting the type inference process2003
- Type Error Slicing in Implicitly Typed Higher-Order Languages2003
- DrScheme: a programming environment for SchemeJournal of Functional Programming, 2002
- Explaining Polymorphic TypesThe Computer Journal, 2002
- Simplifying and improving qualified types1995
- A maximum-flow approach to anomaly isolation in unification-based incremental type inference1986
- Finding the source of type errors1986
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978