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. & Magalhaes, 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., Magalhaes, 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-CS 2009-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-CS 2008-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-CS 2008-49. onbekend: UU WINFI Informatica en Informatiekunde.
|
Gerdes, A., Heeren, B.J., Jeuring, J.T. & Stuurman, S. (2008). Feedback Services for Exercise Assistants. UU-CS 2008-018. onbekend: UU WINFI Informatica en Informatiekunde.
|
Heeren, B.J. & Jeuring, J.T. (2008). Recognizig strategies. UU-CS 2008-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-CS 2008-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-CS 2007-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-CS 2007-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-CS 2006-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-UU 2005-029. onbekend: UU WINFI Informatica en Informatiekunde.
|
Hage, J. & Heeren, B.J. (2005). Ordering Type Constraints: A Structured Approach. UU-CS 2005-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-CS 2004-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-CS 2002-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-CS 2002-009. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Heeren, B.J. & Hage, J. (2002). Parametric Type Inferencing for Helium. UU-CS 2002-035. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
webmaster@cs.uu.nl,
Wed, 23 May 2012 21:05:08 +0200
←
Departement Informatica, Universiteit Utrecht