Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
The Haskell: The Craft of Functional Programming
The Haskell: The Craft of Functional Programming
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scripting the type inference process
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
DrScheme: a programming environment for Scheme
Journal of Functional Programming
Type error slicing in implicitly typed higher-order languages
ESOP'03 Proceedings of the 12th European conference on Programming
Student paper: HaskellDB improved
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Htdp and dmda in the battlefield: a case study in first-year programming instruction
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Strategies for Solving Constraints in Type and Effect Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Neon: A Library for Language Usage Analysis
Software Language Engineering
An Eclipse Plug-in for SVG Animations in an Educational System for Programming
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Using strategies for assessment of programming exercises
Proceedings of the 41st ACM technical symposium on Computer science education
Heuristics for type error discovery and recovery
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Experience report: growing programming languages for beginning students
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Visitor-based Attribute Grammars with Side Effect
Electronic Notes in Theoretical Computer Science (ENTCS)
Making teaching of programming learning-oriented and learner-directed
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
Outsidein(x) modular type inference with local assumptions
Journal of Functional Programming - Dedicated to ICFP 2009
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
An interactive functional programming tutor
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Ask-Elle: a haskell tutor demonstration
EC-TEL'12 Proceedings of the 7th European conference on Technology Enhanced Learning
Scalad: an interactive type-level debugger
Proceedings of the 4th Workshop on Scala
Counter-factual typing for debugging type errors
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Research paper: Plagiarism Detection for Haskell with Holmes
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
| Hi-index | 0.00 |
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 in two introductory programming courses at Utrecht University.