home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. B.J. Heeren

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. B.J. Heeren

• contact information
• my technical reports
• group software technology

some publications

Jeuring, J.T., Gerdes, A. & Heeren, B.J. (2012). A Programming tutor for Haskell. : Department of Information and Computing Sciences, Utrecht University.

Gerdes, A., Jeuring, J.T. & Heeren, B.J. (2012). An Interactive Functional Programming Tutor. : Department of Information and Computing Sciences, Utrecht University.

Jeuring, J.T., Gerdes, A. & Heeren, B.J. (2012). Ask-Elle: A Haskell tutor -- Demonstration --. : Department of Information and Computing Sciences, Utrecht University.

Jeuring, J.T. & Heeren, B.J. (2012). Feedback Genereren in Leeromgevingen voor Algebra. : Department of Information and Computing Sciences, Utrecht University.

Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2012). Teachers and students in charge- Using annotated model solutions in a functional programming tutor-. : Department of Information and Computing Sciences, Utrecht University.

Heeren, B.J. & Jeuring, J.T. Interleaving strategies. In J.H. Davenport, W.M. Farmer, F. Rabe & J. Urban (Eds.), Intelligent Computer Mathematics Vol. 6824. Lecture Notes in Computer Science (pp. 196-211). Springer.

Heeren, B.J., Jeuring, J.T. & Gerdes, A. (2010). Specifying rewrite strategies for interactive exercises. In Journal of Mathematics in Computer Science (pp. 349-370). Birkhäuser Mathematik.

Noort, T. van, Yakushev, A.R., Holdermans, S., Jeuring, J.T., Heeren, B.J. & Rodrigues Magalhães, J.P. (2010). A Lightweight Approach to Datatype-generic Rewriting. : Department of Information and Computing Sciences, Utrecht University.

Heeren, B.J. & Jeuring, J.T. (2010). Adapting Mathematical Domain Reasoners. : Department of Information and Computing Sciences, Utrecht University.

Heeren, B.J. & Jeuring, J.T. (2010). Adapting Mathematical Domain Reasoners. In Proceedings MKM 2010, the 9th International Conference on Mathematical Knowledge Management Vol. 6167. Lecture Notes in Computer Science (pp. 315-330). Springer.

Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2010). Properties of exercise strategies. : Department of Information and Computing Sciences, Utrecht University.

Hage, J. & Heeren, B.J. (2009). Strategies for Solving Constraints in Type and Effect Systems. Electronic Notes in Theoretical Computer Science, 236, 163-183.

Jeuring, J.T. & Heeren, B.J. (2009). An Interactive Exercise Player for Math-Bridge. In N. Brouwer, B. Giebers, B. Rienties & L. van Gastel (Eds.), Proceedings of Student Mobility and ICT: Dimensions of Transition (pp. 213-217).

Jeuring, J.T. & Heeren, B.J. (2009). An Interactive Exercise Player for Math-Bridge. onbekend: UU BETA ICS Departement Informatica.

Heeren, B.J. & Jeuring, J.T. (2009). Canonical Forms in Interactive Exercise Assistants. In L. Dixon. (Ed.), Proceedings of MKM 2009: Mathematical Knowledge Management, 8th International Conference (pp. 325-340). Springe]r, Editor = Dixon et al., L. , year = 2009 class = Wet.

Heeren, B.J. & Jeuring, J.T. (2009). Canonical Forms in Interactive Exercise Assistants. onbekend: UU BETA ICS Departement Informatica.

Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2009). Constructing Strategies for Programming. In J. Cordeiro, B. Shishkov, A. Verbraeck & M. Helfert (Eds.), Proceedings of CSEDU'09: 1st International Conference on Computer Supported Education (pp. 65-72).

Jeuring, J.T., Rodrigues Magalhães, J.P. & Heeren, B.J. (2009). Generic Programming for Domain Reasoners. onbekend: UU BETA ICS Departement Informatica.

Heeren, B.J., Jeuring, J.T. & Gerdes, A. (2009). Strategies for Exercises. (UU-CS2009-003 ). onbekend: UU BETA ICS Departement Informatica.

Gerdes, A., Jeuring, J.T. & Heeren, B.J. (2009). Using Strategies for Assessment of Programming Exercises. onbekend: UU BETA ICS Departement Informatica.

Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A Lightweight Approach to Datatype-Generic Rewriting. (UU-CS2008-020 ). onbekend: UU WINFI Informatica en Informatiekunde.

Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A lightweight approach to datatype-generic rewriting. In R. Hinze & D. Syme (Eds.), Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 (pp. 13-24). ACM Press.

Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2008). Constructing Strategies for Programming. (UU-CS2008-49 ). onbekend: UU WINFI Informatica en Informatiekunde.

Gerdes, A., Heeren, B.J., Jeuring, J.T. & Stuurman, S. (2008). Feedback Services for Exercise Assistants. (UU-CS2008-018 ). onbekend: UU WINFI Informatica en Informatiekunde.

Heeren, B.J. & Jeuring, J.T. (2008). Recognizig strategies. (UU-CS2008-012 ). onbekend: UU WINFI Informatica en Informatiekunde.

Heeren, B.J. & Jeuring, J.T. (2008). Recognizing Strategies. In Aart Middeldorp (Ed.), {WRS 2008: Reduction Strategies in Rewriting and Programming, 8th International Workshop}.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A. & Schie, J. van (2008). Report on the tenth {ICFP} programming contest. In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408). New York, NY, USA: ACM.

Heeren, B.J., Jeuring, J.T., Leeuwen, A.J. van & Gerdes, A. (2008). Specifying Strategies for Exercises. In S. Autexier, J. Campbell, J. Rubio, S. Volker, M. Suzuki & F. Wiedijk (Eds.), Intelligent Computer Mathematics. Springer-Verlag.

Heeren, B.J., Jeuring, J.T., Leeuwen, A.J. van & Gerdes, A. (2008). Specifying Strategies for Exercises. (UU-CS2008-001 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hage, J. & Heeren, B.J. (2007). Heuristics for type error discovery and recovery. In Z. Horváth, V. Zsók & A. Butterfield (Eds.), Implementation of Functional Languages -- IFL 2006 (pp. 199-216). Heidelberg: Springer Verlag.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. (UU-CS2007-029 ). onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. (UU-CS2007-027 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hage, J. & Heeren, B.J. (2006). Heuristics for type error discovery and recovery (revised revised). onbekend: UU WINFI Informatica en Informatiekunde.

Hage, J. & Heeren, B.J. (2006). Heuristics for type error discovery and recovery (revised). (UU-CS2006-007 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hage, J. & Heeren, B.J. (2006). Strategies for solving constraints in program analysis. onbekend: UU WINFI Informatica en Informatiekunde.

Hage, J. & Heeren, B.J. (2005). Heuristics for type error discovery and recovery. (CS-UU2005-029 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hage, J. & Heeren, B.J. (2005). Ordering Type Constraints: A Structured Approach. (UU-CS2005-016 ). onbekend: UU WINFI Informatica en Informatiekunde.

Heeren, B.J. (2005, September 20). Top QualityType Error Messages. UU Universiteit Utrecht (241 pag.). Prom./coprom.: prof. dr. S.D. Swierstra & dr. J. Hage.

Heeren, B.J. & Hage, J. (2005). Type Class Directives. In Manuel Hermenegildo & Daniel Cabeza (Eds.), Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL'05) (pp. 253-267). Berlin: Springer-Verlag.

Heeren, B.J. & Hage, J. (2004). A first attempt at type class directives. (UU-CS2004-039 ). Utrecht: Utrecht University: Information and Computing Sciences.

Heeren, B.J. & Leijen, Daan (2004). Functioneel Programmeren met Helium. In NIOC 2004 Proceedings (pp. 73-82). Passage.

Heeren, B.J. & Leijen, D.J.P. (2004). Gebruiksvriendelijke compiler voor het onderwijs. Informatie, 46, 46-50.

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.

Heeren, B.J., Leijen, D.J.P. & IJzendoorn, A.F. (2003). Helium, for Learning Haskell. In ACM Sigplan 2003 Haskell Workshop (pp. 62-71). New York: ACM Press.

Heeren, B.J., Hage, J. & Swierstra, S.D. (2003). Scripting the type inference process. In Eighth ACM Sigplan International Conference on Functional Programming (pp. 3-13). New York: ACM Press.

Heeren, B.J., Hage, J. & Swierstra, S.D. (2002). Generalizing Hindley-Milner Type Inference Algorithms. (UU-CS2002-031 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Heeren, B.J., Jeuring, J.T., Swierstra, S.D. & Alcocer, A. (2002). Improving type-error messages in functional languages. (UU-CS2002-009 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Heeren, B.J. & Hage, J. (2002). Parametric Type Inferencing for Helium. (UU-CS2002-035 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.