Helium, for learning Haskell

@inproceedings{Heeren2003HeliumFL,
  title={Helium, for learning Haskell},
  author={B. Heeren and Daan Leijen and Arjan van IJzendoorn},
  booktitle={Haskell '03},
  year={2003}
}
Helium is a user-friendly compiler designed especially for learning the functional programming language Haskell. The quality of the error messages has been the main concern both in the choice of the language features and in the implementation of the compiler. Helium implements almost full Haskell, where the most notable difference is the absence of type classes. Our goal is to let students learn functional programming more quickly and with more fun. The compiler has been successfully employed… Expand
93 Citations
Mining for Helium
  • 5
Mining Helium programs with Neon
  • 3
  • PDF
Heat — An Interactive Development Environment for Learning & Teaching Haskell
  • 1
  • Highly Influenced
  • PDF
Study on difficulties and misconceptions with modern type systems
  • 3
The Helium Logging Facility
  • 6
  • PDF
Analyzing Helium Programs Obtained Through Logging - The process of mining novice Haskell programs -
  • 5
  • Highly Influenced
A Block Design for Introductory Functional Programming in Haskell
  • Matthew Poole
  • Computer Science
  • 2019 IEEE Blocks and Beyond Workshop (B&B)
  • 2019
  • PDF
The architecture of the Utrecht Haskell compiler
  • 55
  • PDF
Type Class Directives
  • 34
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
Examples to compare the error reportings from the W , M , UAE, I EI algorithms
  • Technical Report RM/00/12, Department of Computing and Electrical Engineering, Heriot-Watt University, October
  • 2000
Buddha: A declarative debugger for Haskell
  • Honours thesis, Dept. of computer science, University of Melbourne, Australia, June
  • 1998
The Helium compiler
  • The Helium compiler