Helium, for Learning Haskell

Proceedings of the 2003 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2003, Pages 62-71

  Heeren, Bastiaan ^a   Leijen, Daan ^a   Van IJzendoorn, Arjan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Education; Error logging; Error messages; Learning Haskell; Type inference

Indexed keywords

ALGORITHMS; CLASSIFICATION (OF INFORMATION); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA ACQUISITION; EDUCATION; ERROR ANALYSIS; HEURISTIC METHODS; PROGRAM COMPILERS; PROGRAM INTERPRETERS; HELIUM; LINGUISTICS;

ERROR LOGGING; ERROR MESSAGES; LEARNING HASKELL; TYPE INFERENCE; FUNCTIONAL PROGRAMMING LANGUAGES; HASKELL; INTRODUCTORY PROGRAMMING COURSE; LANGUAGE FEATURES; TYPE CLASS; TYPE INFERENCES;

LEARNING SYSTEMS; FUNCTIONAL PROGRAMMING;

EID: 1542748199     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/871895.871902     Document Type: Conference Paper

References (19)

1. The Chameleon system, http://www.comp.nus.edu.sg/~sulzmann/chameleon.
2. O. Chitil, C. Runciman, and M. Wallace. Freya, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In M. Mohnen and P. Koopman, editors, Proceedings of the 12th international conference on the Implementation of Functional Languages (IFL 2000), volume 2011 of LNCS, pages 176-193, Aachen, Germany, Sept. 2000. Springer-Verlag.
3. L. Damas and R. Milner. Principal type schemes for functional programs. In Principles of Programming Languages (POPL '82), pages 207-212, 1982.
4. C. Elliott, O. de Moore, S. Finne, and J. Peterson. The Pan# functional graphics language. http://haskell.cs.yale.edu/edsl/pansharp.html.
5. R. B. Findler, J. Clements, M. F. Cormac Flanagan, S. Krishnamurthi, P. Sleekler, and M. Felleisen. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2): 159-182, March 2002.
6. C. Haack and J. B. Wells. Type error slicing in implicitly typed higher-order languages. In Proceedings of the 12th European Symposium on Programming, pages 284-301, April 2003.
7. The Haskell mailing list, http://www.haskell.org.
8. B. Heeren and J. Hage. Parametric type inferencing for Helium. Technical Report UU-CS-2002-035, Institute of Information and Computing Science, Utrecht University, August 2002.
9. B. Heeren, J. Hage, and S. D. Swierstra. Scripting the type inference process. In International Conference on Functional Programming (ICFP'03), 2003. To appear.
10. D. Leijen. The lazy virtual machine. Technical Report UU-CS-2003, Department of Computer Science, Utrecht University, 2003. http://www.cs.uu.nl/~daan/pubs.html.
11. D. Leijen and E. Meijer. Parsec: Direct style monadic parser combinators for the real world. Technical Report UU-CS-2001-35, Department of Computer Science, Utrecht University, 2001. http://www.cs.uu.nl/~daan/parsec.html.
12. B. Pope. Buddha: A declarative debugger for Haskell. Honours thesis, Dept. of computer science, University of Melbourne, Australia, June 1998.
13. M. Shields and S. Peyton Jones. Object-oriented style over-loading for Haskell. In First Workshop on Multi-language Infrastructure and Interoperability (BABEL'01), Firenze, Italy, Sept. 2001.
14. S. D. Swierstra, A. I. Baars, and A. Löh. The UU-AG attribute grammar system, http://www.cs.uu.nl/groups/ST.
15. The TeachScheme! Project, http://www.teach-scheme.org.
16. S. Thompson. Haskell: The Craft of Functional Programming, Second Edition. Addison-Wesley Longman, 1999. http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e.
17. A. van IJzendoorn, D. Leijen, and B. Heeren. The Helium compiler, http://www.cs.uu.nl/helium.
18. E. Visser, Z. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 13-26. ACM Press, Sept. 1998.
19. AE, I E I algorithms. Technical Report RM/00/12, Department of Computing and Electrical Engineering, Heriot-Watt University, October 2000.