Publications

Publications

2006

• Arie Middelkoop, Improved Uniqueness Typing for Haskell, Master Thesis, Dept. of Computing and Information Sciences, 2006. [ Download ]
• Arjen Langebaerd, Repair Systems, Automatic Correction of Type Errors in Functional Programs, Master Thesis SCR-05-79, Dept. of Computing and Information Sciences, 2006. [ Download ]

2005

1. B. Heeren and J. Hage. Type Class Directives. In Seventh International Symposium on Practical Aspects of Declarative Languages, pages 253 -- 267, Berlin, 2005. Springer Verlag. (bib).

2004

1. B. Heeren and J. Hage. A first attempt at type class directives. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, September 2004. Technical Report (bib).

2003

1. B. Heeren, J. Hage, and S. D. Swierstra. Constraint based type inferencing in Helium. In M.-C. Silaghi and M. Zanker, editors, Workshop Proceedings of Immediate Applications of Constraint Programming, pages 59 -- 80, Cork, September 2003. (bib).
   
   
2. B. Heeren, J. Hage, and S. D. Swierstra. Scripting the type inference process. In Eighth ACM Sigplan International Conference on Functional Programming, pages 3 -- 13, New York, 2003. ACM Press. (bib).
   
   
3. B. Heeren, D. Leijen, and A. van IJzendoorn. Helium, for Learning Haskell. In ACM Sigplan 2003 Haskell Workshop, pages 62 -- 71, New York, 2003. ACM Press. (bib).

2002

1. B. Heeren and J. Hage. Parametric Type Inferencing for Helium. Technical Report UU-CS-2002-035, Institute of Information and Computing Science, University Utrecht, Netherlands, August 2002. Technical Report (bib).
   
   
2. B. Heeren, J. Hage, and D. Swierstra. Generalizing Hindley-Milner Type Inference Algorithms. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, July 2002. Technical Report (bib).
   
   
3. B. Heeren, J. Jeuring, S. D. Swierstra, and P. A. Alcocer. Improving type-error messages in functional languages. Technical Report UU-CS-2002-009, Institute of Information and Computing Science, University Utrecht, Netherlands, February 2002. Technical Report (bib).