Type class directives

Lecture Notes in Computer Science

Volumn 3350, Issue , 2005, Pages 253-267

  Heeren, Bastiaan ^a   Hage, Jurriaan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Directives; Domain specific programming; Type classes; Type error messages

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; EXPERT SYSTEMS;

COMPUTER PROGRAMS; LANGUAGE FEATURES; TYPE ERROR MESSAGES;

ERROR ANALYSIS;

EID: 23944498688     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30557-6_19     Document Type: Conference Paper

References (16)

1. McAdam, B.: How to repair type errors automatically. In: 3rd Scottish Workshop on Functional Programming, Stirling, U.K. (2001) 121-135
2. Yang, J., Michaelson, G., Trinder, P.: Explaining polymorphic types. The Computer Journal 45 (2002) 436-452
3. Haack, C., Wells, J.B.: Type error slicing in implicitly typed higher-order languages. In: Proceedings of the 12th European Symposium on Programming. (2003) 284-301
4. Stuckey, P., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Haskell Workshop, New York, ACM Press (2003) 72-83
5. Peyton Jones, S., ed.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press (2003) http://www.haskell.org/onlinereport/.
6. Heeren, B., Hage, J., Swierstra, S.D.: Scripting the type inference process. In: Eighth ACM Sigplan International Conference on Functional Programming, New York, ACM Press (2003) 3-13
7. Heeren, B., Leijen, D., van IJzendoorn, A.: Helium, for learning Haskell. In: ACM Sigplan 2003 Haskell Workshop, New York, ACM Press (2003) 62-71 http://www.cs.uu.nl/helium.
8. Jones, M.P.: Simplifying and improving qualified types. In: International Conference on Functional Programming Languages and Computer Architecture. (1995) 160-169
9. Mimer, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences 17 (1978) 348-375
10. Jones, M.P.: Typing Haskell in Haskell. In: Haskell Workshop. (1999)
11. Wand, M.: Finding the source of type errors. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg, FL (1986) 38-43
12. Walz, J.A., Johnson, G.F.: A maximum flow approach to anomaly isolation in unification-based incremental type inference. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg, FL (1986) 44-57
13. Shields, M., Peyton Jones, S.: Object-oriented style overloading for Haskell. In: Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01). (2001)
14. Glynn, K., Stuckey, P., Sulzmann, M.: Type classes and constraint handling rules. In: First Workshop on Rule-Based Constraint Reasoning and Programming. (2000)
15. Findler, R.B., Clements, J., Cormac Flanagan, M.F., Krishnamurthi, S., Steckler, P., Felleisen, M.: DrScheme: A programming environment for Scheme. Journal of Functional Programming 12 (2002) 159-182
16. Peyton Jones, S., Jones, M., Meijer, E.: Type classes: an exploration of the design space. In: Haskell Workshop. (1997)