Bastiaan Heeren
TitelGeciteerd doorJaar
Helium, for learning Haskell
B Heeren, D Leijen, A van IJzendoorn
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 62-71, 2003
Top quality type error messages
BJ Heeren
IPA Dissertation Series;, 2005
Scripting the type inference process
B Heeren, J Hage, SD Swierstra
ACM SIGPLAN Notices 38 (9), 3-13, 2003
A lightweight approach to datatype-generic rewriting
T Van Noort, AR Yakushev, S Holdermans, J Jeuring, B Heeren, ...
Journal of functional programming 20 (3-4), 375-413, 2010
Specifying rewrite strategies for interactive exercises
B Heeren, J Jeuring, A Gerdes
Mathematics in Computer Science 3 (3), 349-370, 2010
Heuristics for type error discovery and recovery
J Hage, B Heeren
Symposium on Implementation and Application of Functional Languages, 199-216, 2006
Towards a systematic review of automated feedback generation for programming exercises
H Keuning, J Jeuring, B Heeren
Proceedings of the 2016 ACM Conference on Innovation and Technology in …, 2016
An interactive functional programming tutor
A Gerdes, J Jeuring, B Heeren
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
Generalizing Hindley-Milner type inference algorithms
BJ Heeren, J Hage, SD Swierstra
Utrecht University: Information and Computing Sciences, 2002
Specifying strategies for exercises
B Heeren, J Jeuring, A Van Leeuwen, A Gerdes
International Conference on Intelligent Computer Mathematics, 430-445, 2008
Type class directives
B Heeren, J Hage
International Workshop on Practical Aspects of Declarative Languages, 253-267, 2005
Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback
A Gerdes, B Heeren, J Jeuring, LT van Binsbergen
International Journal of Artificial Intelligence in Education 27 (1), 65-100, 2017
Feedback services for stepwise exercises
B Heeren, J Jeuring
Science of Computer Programming 88, 110-129, 2014
Using strategies for assessment of programming exercises
A Gerdes, JT Jeuring, BJ Heeren
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
Communicate!—a serious game for communication skills—
J Jeuring, F Grosfeld, B Heeren, M Hulsbergen, R IJntema, V Jonker, ...
Design for teaching and learning in a networked world, 513-517, 2015
Strategies for solving constraints in type and effect systems
J Hage, B Heeren
Electronic Notes in Theoretical Computer Science 236, 163-183, 2009
Feedback services for exercise assistants
A Gerdes, B Heeren, J Jeuring, S Stuurman
Technical Report UU-CS-2008-018, Utrecht University, 2008
Constraint based type inferencing in Helium
B Heeren, J Hage, SD Swierstra
Immediate Applications of Constraint Programming (ACP), 57, 2003
Improving type-error messages in functional languages
BJ Heeren, JT Jeuring, D Swierstra, PA Alcocer
A programming tutor for Haskell
J Jeuring, A Gerdes, B Heeren
Central European Functional Programming School, 1-45, 2012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20