팔로우
Bastiaan Heeren
제목
인용
인용
연도
A systematic literature review of automated feedback generation for programming exercises
H Keuning, J Jeuring, B Heeren
ACM Transactions on Computing Education (TOCE) 19 (1), 1-43, 2018
3602018
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
2022016
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, 65-100, 2017
1452017
Helium, for learning Haskell
B Heeren, D Leijen, A Van IJzendoorn
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 62-71, 2003
1402003
Code quality issues in student programs
H Keuning, B Heeren, J Jeuring
Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017
1372017
Top quality type error messages
BJ Heeren
IPA Dissertation Series;, 2005
1212005
Scripting the type inference process
B Heeren, J Hage, SD Swierstra
ACM SIGPLAN Notices 38 (9), 3-13, 2003
1082003
Heuristics for type error discovery and recovery
J Hage, B Heeren
Implementation and Application of Functional Languages: 18th International …, 2007
702007
A tutoring system to learn code refactoring
H Keuning, B Heeren, J Jeuring
Proceedings of the 52nd ACM technical symposium on computer science …, 2021
662021
A lightweight approach to datatype-generic rewriting
T Noort, A Rodriguez, S Holdermans, J Jeuring, B Heeren
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 13-24, 2008
652008
Feedback services for stepwise exercises
B Heeren, J Jeuring
Science of Computer Programming 88, 110-129, 2014
622014
Specifying rewrite strategies for interactive exercises
B Heeren, J Jeuring, A Gerdes
Mathematics in computer science 3, 349-370, 2010
612010
An interactive functional programming tutor
A Gerdes, J Jeuring, B Heeren
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
592012
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: 10th European …, 2015
562015
How teachers would help students to improve their code
H Keuning, B Heeren, J Jeuring
Proceedings of the 2019 ACM Conference on Innovation and Technology in …, 2019
462019
Generalizing Hindley-Milner type inference algorithms
BJ Heeren, J Hage, SD Swierstra
Utrecht University: Information and Computing Sciences, 2002
462002
Strategy-based feedback in a programming tutor
H Keuning, B Heeren, J Jeuring
Department of Information and Computing Sciences, Utrecht University, 2014
452014
Student refactoring behaviour in a programming tutor
H Keuning, B Heeren, J Jeuring
Proceedings of the 20th Koli Calling International Conference on Computing …, 2020
402020
Using strategies for assessment of programming exercises
A Gerdes, JT Jeuring, BJ Heeren
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
402010
Specifying strategies for exercises
B Heeren, J Jeuring, A Van Leeuwen, A Gerdes
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008
402008
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20