Publications

If you are interested in what is behind Helium, the best place to start is the Ph D thesis of Bastiaan Heeren (listed below), which gives a comphrensive overview of the type inference innovations that have been implemented in Helium (and associated tools). The Ph D thesis of Daan Leijen has a chapter on the LVM, if that is what you're after.

General publications dealing with Helium

• Heeren, B., Leijen, D. & Van IJzendoorn, A. (2003). Helium, for Learning Haskell, ACM SIGPLAN 2003 Haskell Workshop, info
• Heeren, B. & Leijen, D. (2004). Functioneel Programmeren met Helium (in Dutch), NIOC 2004, info
• Heeren, B. & Leijen, D. (2004). Gebruiksvriendelijke Compiler voor het Onderwijs (in Dutch), Informatie, oktober 2004, jaargang 46/8, info

Publications about the type inference process

In descending order of publication. Much of this work can be found in extended form in the Ph D thesis of Bastiaan Heeren (listed below)

• Hage, J., & Heeren, B.J. (2007). Heuristics for type error discovery and recovery. In Z. Horváth, V. Zsók & A. Butterfield (Eds.), Proceedings of Implementation of Functional Languages (IFL '06), LNCS 4449 (pp. 199-216). Heidelberg: Springer-Verlag.
• Heeren, B.J., & Hage, J. (2005). Type class directives. In M. Hermenegildo & D. Cabeza (Eds.), Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL '05), LNCS 3350 (pp. 253-267). Berlin: Springer-Verlag.
• Heeren, B.J., Hage, J., & Swierstra, S.D. (2003). Scripting the type inference process. In Eighth ACM Sigplan International Conference on Functional Programming (ICFP '03) (pp. 3-13). New York: ACM Press.
• Heeren, B.J., Hage, J., & Swierstra, S.D. (2003). Constraint based type inferencing in Helium. In M.-C. Silaghi & M. Zanker (Eds.), Workshop Proceedings of Immediate Applications of Constraint Programming (pp. 59-80). Cork.

Ph D theses, technical reports and master theses

This is only a selection.

• Heeren, B. (2005). Top Quality Type Error Messages (Ph D thesis). info
• Leijen, D. (2003). The λ Abroad – A Functional Approach to Software Components (Ph D thesis). info
• Hage, J. (2005). The Helium Logging Facility (technical report UU-CS-2005-055) info
• Keeken, P. (2006). Analyzing Helium Programs Obtained Through Logging – The process of mining novice Haskell programs –, (M Sc thesis). info
• Langebaerd, A. (2006). Repair Systems - Automatic Correction of Type Errors in Functional Programs (M Sc thesis) info

-- JurriaanHage - 29 Jan 2008