search
Nederlands Edit
search NL

Prof. dr. J.T. (Johan) Jeuring

Professor 
Science
Mathematics
Freudenthal Institute
Digital Technology and Education
Digital Technology and Education
 
Science
Information and computing sciences
Software
Softw.Techn. for Learning and Teach.
Softw.Techn. for Learning and Teach.
Buys Ballotgebouw
Princetonplein 5
Kamer BBG-571
3584 CC Utrecht

Prof. dr. J.T. (Johan) Jeuring

Professor
Digital Technology and Education
Softw.Techn. for Learning and Teach.
+31 6 40 010 053
j.t.jeuring@uu.nl
Profile Publications Research Ancillary activities Contact
Profile Publications Research Ancillary activities Contact
Research areas

 

Publications

2021

Scholarly publications

Bird, R., Gibbons, J., Hinze, R., Höfner, P., Jeuring, J., Meertens, L., Möller, B., Morgan, C., Schrijvers, T., & Swierstra, W. (2021). Algorithmics. In Advancing Research in Information and Communication Technology (pp. 59-98). (IFIP Advances in Information and Communication Technology; Vol. 600). Springer. https://doi.org/10.1007/978-3-030-81701-5_3
Keuning, H., Heeren, B., & Jeuring, J. (2021). A Tutoring System to Learn Code Refactoring. In SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education (pp. 562-568). Association for Computing Machinery. https://doi.org/10.1145/3408877.3432526

2020

Scholarly publications

Fincher, S., Jeuring, J. T., Miller, C. S., Donaldson, P., du Boulay, B., Hauswirth, M., Hellas, A., Hermans, F., Lewis, C., Mühling, A., Pearce, J. L., & Petersen, A. (2020). Notional machines in computing education: the education of attention. In ITiCSE-WGR '20: Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education (ITiCSE-WGR ’20) (pp. 21-50). ACM. https://doi.org/10.1145/3437800.3439202
Overbeek, T., Lala, R., & Jeuring, J. T. (2020). Scenario smells: signalling potential problems indialogue scenarios in a serious game. International Journal of Serious Games, 7(4), 51-73. https://doi.org/10.17083/ijsg.v7i4.364
Lodder, J., Heeren, B. J., Jeuring, J. T., & Neijenhuis, W. (2020). Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. International Journal of Artificial Intelligence in Education. https://doi.org/10.1007/s40593-020-00222-2
Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2020). Student Refactoring Behaviour in a Programming Tutor. In N. Falkner, & O. Seppala (Eds.), Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research (pp. 1-10). [4] Association for Computing Machinery. https://doi.org/10.1145/3428029.3428043
de Jong, I., & Jeuring, J. T. (2020). Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking. 1-10. Paper presented at Koli Calling International Conference on Computing Education Research, Koli, Finland. https://doi.org/10.1145/3428029.3428055
Tacoma, S. G., Heeren, B. J., Jeuring, J. T., & Drijvers, P. H. M. (2020). Intelligent feedback on hypothesis testing. International Journal of Artificial Intelligence in Education, 30(4), 616-636. https://doi.org/10.1007/s40593-020-00218-y
Kamps, S., Heeren, B. J., & Jeuring, J. T. (2020). Assessing the quality of evolving Haskell systems by measuring structural inequality. In Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell (pp. 67-79). Association for Computing Machinery. https://doi.org/10.1145/3406088.3409014
Tacoma, S. G., Drijvers, P. H. M., & Jeuring, J. T. (2020). Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education. Journal of Computer Assisted Learning. https://onlinelibrary.wiley.com/doi/full/10.1111/jcal.12491?af=R
Lodder, J., Heeren, B. J., & Jeuring, J. T. (2020). Providing hints, next steps and feedback in a tutoring system for structural induction. Electronic Proceedings in Theoretical Computer Science, EPTCS, 313, 17–34. https://doi.org/10.4204/EPTCS.313.2
Tacoma, S. G., Geurts, C., Slof, B., Jeuring, J. T., & Drijvers, P. H. M. (2020). Enhancing learning with inspectable student models: worth the effort? Computers in Human Behavior, 107, [106276]. https://doi.org/10.1016/j.chb.2020.106276

2019

Scholarly publications

Tacoma, S., Heeren, B., Jeuring, J., & Drijvers, P. (2019). Automated feedback on the structure of hypothesis tests. In R. Goebel, Y. Tanaka, W. Wahlster, J. Siekmann, S. Isotani, E. Millán, A. Ogan, P. Hastings, B. McLaren, & R. Luckin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 281-285). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11626 LNAI). Springer. https://doi.org/10.1007/978-3-030-23207-8_52
Constantin, A., Lai, C., Farrow, E., Alex, B., Pel-Littel, R. E., Nap, H. H., & Jeuring, J. T. (2019). ”Why is the doctor a man?”: Reactions of Older Adults to a Virtual Training Doctor. In Proceedings of CHI EA 2019: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems [LBW1719] ACM. https://doi.org/10.1145/3290607.3312811
Lodder, J., Heeren, B. J., & Jeuring, J. T. (2019). A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. Journal of Computer Assisted Learning, 35(5), 620-632. https://doi.org/10.1111/jcal.12365
Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2019). How teachers would help students to improve their code. In Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education (pp. 119-125). ACM. https://doi.org/0.1145/3304221.3319780
van der Bent, R., Jeuring, J. T., & Heeren, B. J. (2019). The diagnosing behaviour of intelligent tutoring systems. In Transforming Learning with Meaningful Technologies: Proceedings of ECTEL 2019: the Fourteenth European Conference on Technology Enhanced Learning (pp. 112-126). (LNCS; Vol. 11722). Springer.
Lala, R., Jeuring, J., & van Geest, M. (2019). Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. In A. Liapis, G. N. Yannakakis, M. Gentile, & M. Ninaus (Eds.), Games and Learning Alliance (pp. 169-179). (LNCS; Vol. 11899). Springer International Publishing Switzerland.
Lala, R., Corbalan, G., & Jeuring, J. (2019). Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. In A. Liapis, G. N. Yannakakis, M. Gentile, & M. Ninaus (Eds.), Games and Learning Alliance (pp. 322-331). (Lecture Notes in Computer Science; Vol. 11899). Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-030-34350-7_31
Rușeți, Ș., Lala, R., & Jeuring, J. T. (2019). Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning. 242-246. https://doi.org/10.1007/978-3-030-23207-8_45
Lala, R., & Jeuring, J. T. (2019). Enhancing Free-text Interactions in a Communication Skills Learning Environment. 877-878. https://ris.utwente.nl/ws/portalfiles/portal/129957345/CSCL_2019_Volume_2.pdf#page=363
Tacoma, S. G., Heeren, B. J., Jeuring, J. T., & Drijvers, P. H. M. (2019). Automated feedback on the structure of hypothesis tests. In S. Isotani, A. Ogan, P. Hastings, B. McLaren, & R. Luckin (Eds.), Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II (pp. 281-285). (Lecture Notes in Computer Science; Vol. 11626). Springer. https://doi.org/10.1007/978-3-030-23207-8_52
https://dspace.library.uu.nl/bitstream/handle/1874/382870/TacomaHeerenJeuringDrijvers_HypothesisTesting.pdf?sequence=3
van der Smagt, M. J., de Jong, J., IJntema, R. C., Jeuring, J. T., & Hulsbergen, M. H. (2019). Evaluating the effect of a virtual simulator on teaching communication skills. Poster session presented at The First Utrecht Scholarship of Teaching and Learning Conference, Utrecht, Netherlands.
Tacoma, S. G., Heeren, B. J., Jeuring, J. T., & Drijvers, P. H. M. (2019). Automated feedback on the structure of hypothesis tests. In U. T. Jankvist, M. van den Heuvel-Panhuizen, & M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (pp. 2969-2976). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME.
https://dspace.library.uu.nl/bitstream/handle/1874/390899/Automated.pdf?sequence=1
Naus, N., & Jeuring, J. T. (2019). Building a Generic Feedback System for Rule-Based Problems. In Trends in Functional Programming (Vol. 17, pp. 172-191). Springer. https://doi.org/10.1007/978-3-030-14805-8_10

2018

Scholarly publications

Keuning, H., Jeuring, J. T., & Heeren, B. (2018). A systematic literature review of automated feedback generation for programming exercises. ACM Transactions on Computing Education, 19(1). https://doi.org/10.1145/3231711
Pel-Littel, R., van Zeijts, H., Schram, N., Nap, H. H., & Jeuring, J. T. (2018). A training simulation for practicing shared decision making for older patients. In Proceedings of ICTH 2018: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (pp. 287-293). (Procedia Computer Science; Vol. 141). https://doi.org/10.1016/j.procs.2018.10.198
Lala, R., & Jeuring, J. T. (2018). Processing open text input in a scripted communication scenario. https://f.hypotheses.org/wp-content/blogs.dir/4280/files/2018/11/paper_1.pdf
Heeren, B., Jeuring, J., Sosnovsky, S. A., Drijvers, P., Boon, P., Tacoma, S., Koops, J., Weinberger, A., Grugeon-Allys, B., Chenevotot-Quentin, F., Wijk, J. V., & Walree, F. V. (2018). Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. In V. Pammer-Schindler, M. Pérez-Sanagustín, H. Drachsler, R. Elferink, & M. Scheffel (Eds.), Lifelong Technology-Enhanced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings (pp. 262-276). (Lecture Notes Computer Science; Vol. 11082). Springer. https://doi.org/10.1007/978-3-319-98572-5_20
Buwalda, M., Jeuring, J. T., & Naus, N. (2018). Use expert knowledge instead of data: generating hints for hour of code exercises. In Proceedings of the Fifth Annual ACM Conference on Learning at Scale [32]. https://doi.org/10.1145/3231644.3231690
Tacoma, S. G., Sosnovsky, S. A., Boon, P. B. J., Jeuring, J. T., & Drijvers, P. H. M. (2018). The Interplay between Inspectable Student Models and Didactics of Statistics. Digital Experiences in Mathematics Education, 4(2), 139-162. https://doi.org/10.1007/s40751-018-0040-9

Professional publications

Tacoma, S. G., Jeuring, J. T., Heeren, B. J., & Drijvers, P. H. M. (2018). Automated feedback on the structure of hypothesis tests. Poster session presented at Onderwijs meets onderzoek, Utrecht, Netherlands.

2017

Scholarly publications

Börstler, J., Störrle, H., Toll, D., van Assema, J., Duran, R., Hooshangi, S., Jeuring, J., Keuning, H., Kleiner, C., & MacKellar, B. (2017). "I Know It when I See It" Perceptions of Code Quality: ITiCSE '17 Working Group Report. In Proceedings of the 2017 ITiCSE Conference on Working Group Reports (pp. 70-85). (ITiCSE-WGR '17). ACM. https://doi.org/10.1145/3174781.3174785
Lala, R., Jeuring, J., Dortmont, J., & Geest, M. (2017). Scenarios in virtual learning environments for one-to-one communication skills training. (Technical Report Series; No. UU-CS-2017-005). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/359540/Scenarios.pdf?sequence=1
Keuning, H., Heeren, B., & Jeuring, J. (2017). Code quality Issues in Student Programs. (Technical Report Series; No. UU-CS-2017-006). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/359539/2017_006.pdf?sequence=1
Heeren, B., & Jeuring, J. (2017). An extensible domain-specific language for describing problem-solving procedures. (Technical Report Series; No. UU-CS-2017-007). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/358658/2017_007.pdf?sequence=1
Overbeek, T., Jeuring, J., & Lala, R. (2017). Using scenario smells to analyse scripted communication scenarios in virtual learning environments. (Technical Report Series; No. UU-CS-2017-008). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/358657/2017_008.pdf?sequence=1
Milovanovic, I., & Jeuring, J. (2017). Cognitive Modelling with Term Rewriting. (Technical Report Series; No. UU-CS-2017-011). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/358662/2017_011.pdf?sequence=1
Naus, N., & Jeuring, J. (2017). Building a generic feedback system for rule-based problems. (Technical Report Series; No. UU-CS-2017-013). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/358656/2017_013.pdf?sequence=1
Es, N., & Jeuring, J. (2017). Designing and comparing two Scratch-based teaching approaches for students aged 10-12 years — extended version. (Technical Report Series; No. UU-CS-2017-015). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/358654/2017_015.pdf?sequence=1
Arends, H., Heeren, B., Keuning, H., & Jeuring, J. (2017). An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. (Technical Report Series; No. UU-CS-2017-016). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/360589/2017_016.pdf?sequence=1
Arends, H., Heeren, B. J., Keuning, H. W., & Jeuring, J. T. (2017). An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. In Proceedings of Koli Calling 2017: the 17th Koli Calling International Conference on Computing Education Research (pp. 2-9). ACM. https://doi.org/10.1145/3141880.3141884
van Es, N., & Jeuring, J. T. (2017). Designing and comparing two Scratch- based teaching approaches for students aged 10-12 years. In Proceedings of Koli Calling 2017: the 17th Koli Calling International Conference on Computing Education Research (pp. 178-182). ACM.
Lala, R., Jeuring, J. T., Dortmont, J., & van Geest, M. (2017). Scenarios in virtual learning environments for one-to-one communication skills training. International Journal of Educational Technology in Higher Education, 14, [17]. https://doi.org/10.1186/s41239-017-0054-1
Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2017). Code quality issues in student programs. In Proceedings of ITiCSE 2017: the 22nd Annual Conference on Innovation and Technology in Computer Science Education (pp. 110-115). ACM. https://doi.org/10.1145/3059009.3059061
Heeren, B. J., & Jeuring, J. T. (2017). An extensible domain-specific language for describing problem-solving procedures. In Proceedings of AIED 2017: the 18th International Conference on Artificial Intelligence in Education (pp. 77-89). (Lecture Notes in Computer Science; Vol. 10331). Springer. https://doi.org/10.1007/978-3-319-61425-0_7
Lodder, J., Heeren, B. J., & Jeuring, J. T. (2017). Generating hints and feedback for Hilbert-style axiomatic proofs. In SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education (pp. 387-392). ACM. https://doi.org/10.1145/3017680.3017736
Gerdes, A., Heeren, B. J., Jeuring, J. T., & Binsbergen, T. (2017). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education, 27(1), 65-100. https://doi.org/10.1007/s40593-015-0080-x

Professional publications

Overmans, J. F. A., Bakker, W. E., van Zeeland, Y. R. A., van der Ree, G., Jeuring, J. T., van Mil, M. H. W., Glas, M. A. J., van de Grint, E. J. M., Bastings, M. A. S., de Smale, S., & Dictus, W. J. A. G. (2017). The value of simulations and games for tertiary education. Utrecht Univerity.
https://dspace.library.uu.nl/bitstream/handle/1874/353144/Overmans_et_al_2017.pdf?sequence=1

Other output

de Smale, S., Brink, van den , B., Veltkamp, R. C., & Jeuring, J. T. (2017). Analysing player decision-making of a moral dilemma through a computer vision analysis of Youtube gameplay videos. Abstract from Digital Humanities Benelux Conference , Utrecht, Netherlands.
https://dspace.library.uu.nl/bitstream/handle/1874/360597/DHBenelux2017.pdf?sequence=1
Lala, R., Jeuring, J. T., & Overbeek, T. (2017). Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training. 197-204. https://doi.org/10.3217/978-3-85125-530-0-34
de Smale, S., van den Brink, B., Veltkamp, R. C., & Jeuring, J. T. (2017). Distant Reading Youtube: A computer vision analysis of YouTube gameplay videos. Poster session presented at Digital Humanities Benelux Conference 2017, Utrecht, Netherlands.

2016

Scholarly publications

de Smale, S., Overmans, T., Jeuring, J., & van de Grint, L. (2016). The effect of simulations and games on learning objectives in tertiary education: A systematic review. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 506-516). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9599). Springer-Verlag. https://doi.org/10.1007/978-3-319-40216-1_55
de Smale, S., Overmans, J. F. A., Jeuring, J. T., & van de Grint, E. J. M. (2016). The effect of simulations and games on learning objectives in tertiary education: A systematic review. In Games and Learning Alliance: 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers (pp. 506-516). (Lecture Notes in Computer Science; Vol. 9599). Springer. https://doi.org/10.1007/978-3-319-40216-1_55
Keuning, H., Jeuring, J., & Heeren, B. (2016). Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version. (Technical Report Series; No. UU-CS-2016-001). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/346321/Extended.pdf?sequence=1
Lala, R., Jeuring, J., & Dortmont, J. (2016). An implementation architecture for scenario-based simulations. (Technical Report Series; No. UU-CS-2016-002). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/347139/implementation.pdf?sequence=1
Milovanovic, I., & Jeuring, J. (2016). The Automatic Generation of Knowledge Spaces From Problem Solving Strategies. (Technical Report Series; No. UU-CS-2016-003). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/347138/Generation.pdf?sequence=1
Jeuring, J., Corbalan, G., Montfort, J., Es, N., & Leeuwestein, H. (2016). Vorm en effect van Programmeeronderwijs in het primair onderwijs. (Technical Report Series; No. UU-CS-2016-005). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/346320/Vormeneffect.pdf?sequence=1
Lodder, J., Heeren, B., & Jeuring, J. (2016). Generating hints and feedback for Hilbert-style axiomatic proofs. (UU Beta ICS Departement Informatica; No. UU-CS-2016-009). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/347137/Generating.pdf?sequence=1
Lodder, J., Heeren, B. J., & Jeuring, J. T. (2016). A domain reasoner for propositional logic. Journal of Universal Computer Science, 22(8), 1097-1122.
https://dspace.library.uu.nl/bitstream/handle/1874/345031/jucs_22_08_1097_1122_lodder.pdf?sequence=1
Milovanovic, I., & Jeuring, J. T. (2016). The automatic generation of knowledge spaces from problem solving strategies. In Proceedings of ITS 2016: the 13th International Conference on Intelligent Tutoring Systems (Vol. 9684, pp. 541-542). (LNCS). Springer International Publishing.
Lala, R., Jeuring, J. T., & van Dortmont, J. (2016). An implementation architecture for scenario-based simulations. In A. Micarelli, J. Stamper, & K. Panourgia (Eds.), Intelligent Tutoring Systems: 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings (pp. 531-533). (Lecture Notes in Computer Science; Vol. 9684). Springer International Publishing.
Keuning, H. W., Jeuring, J. T., & Heeren, B. J. (2016). Towards a systematic review of automated feedback generation for programming exercises. In Proceedings of ITiCSE 2016: the 21st Annual Conference on Innovation and Technology in Computer Science Education (pp. 41-46)

Other output

Tacoma, S. G., Drijvers, P. H. M., & Jeuring, J. T. (2016). Automated feedback in higher statistics education. Poster session presented at Posterpresentation at the ICME-13 in Hamburg, Hamburg, Germany.
Tacoma, S. G., Drijvers, P. H. M., & Jeuring, J. T. (2016). Automated feedback in higher statistics education. Poster session presented at Onderwijs meets onderzoek, Utrecht, Netherlands.

2015

Scholarly publications

Leather, S., Jeuring, J., Löh, A., & Schuur, B. (2015). Type-Changing Rewriting and Semantics-Preserving Transformation. (Technical Report Series; No. UU-CS-2015-012). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/397129/leather.pdf?sequence=1
de Smale, S., Overmans, T., Jeuring, J., & van de Grint, L. (2015). The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. (Technical Report Series; No. UU-CS-2015-017). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/327311/2015_017.pdf?sequence=1
Alkemade, T., & Jeuring, J. (2015). Type Class Instances for Type-Level Lambdas in Haskell. (Technical Report Series; No. UU-CS-2015-014). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/327310/2015_014.pdf?sequence=1
Jeuring, J. (2015). Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education. (Technical Report Series; No. UU-CS-2015-015). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/325992/Proceedings.pdf?sequence=1
Lodder, J., Heeren, B., & Jeuring, J. (2015). A pilot study of the use of LogEx, lessons learned. (Technical Report Series; No. UU-CS-2015-007). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/327004/2015_008.pdf?sequence=1
Jeuring, J., Grosfeld, F., Heeren, B., Hulsbergen, M., IJntema, R., Jonker, V., Mastenbroek, N., Smagt, M., Wijmans, F., Wolters, M., & Zeijts, H. (2015). Demo: Communicate! — a serious game for communication skills. (Technical Report Series; No. UU-CS-2015-009). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/327003/2015_009.pdf?sequence=1
Gerdes, A., Heeren, B., Jeuring, J. T., & Binsbergen, T. V. (2015). Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback. (Technical Report Series; No. UU-CS-2015-019). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/325989/ask.pdf?sequence=1
Lodder, J., Heeren, B., & Jeuring, J. (2015). A domain reasoner for propositional logic. (Technical Report Series; No. UU-CS-2015-021). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/325988/domain.pdf?sequence=1
Leather, S. P., Jeuring, J. T., Loeh, A., & Schuur, B. (2015). Type-changing rewriting and semantics-preserving transformation. Science of Computer Programming, 112(2), 145-169. https://doi.org/10.1016/j.scico.2015.07.009
Jeuring, J. T., Grosfeld, F., Heeren, B. J., Hulsbergen, M., Ijntema, R. C., Jonker, V., Mastenbroek, N. J. J. M., van der Smagt, M. J., Wijmans, F., Wolters, M., & van Zeijts, H. (2015). Communicate! — A Serious Game for Communication Skills. In G. Conole, T. Klobucar, C. Rensing, J. Konert, & E. Lavoué (Eds.), Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15–18, 2015, Proceeding (pp. 513-517). (Lecture Notes in Computer Science; Vol. 9307). Springer International Publishing. https://doi.org/10.1007/978-3-319-24258-3_49

Other output

Lodder, J., Heeren, B. J., & Jeuring, J. T. (2015). A pilot study of the use of LogEx, lessons learned.. Paper presented at Proceedings TTL 2015: 4th International Conference on Tools for Teaching Logic, Rennes, France.
https://dspace.library.uu.nl/bitstream/handle/1874/320574/pilotlogex.pdf?sequence=1

2014

Scholarly publications

Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2014). Strategy-based feedback in a programming tutor. In Proceedings of the Computer Science Education Research Conference https://doi.org/10.1145/2691352.2691356
Heeren, B., & Jeuring, J. (2014). Feedback services for stepwise exercises. (Technical Report Series; No. UU-CS-2014-005). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/306344/2014_005.pdf?sequence=1
Olmer, T., Heeren, B., & Jeuring, J. (2014). Evaluating Haskell expressions in a tutoring environment. (Technical Report Series; No. UU-CS-2014-021). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/306341/2014_021.pdf?sequence=1
Jeuring, J., Binsbergen, T., Gerdes, A., & Heeren, B. (2014). Model solutions and properties for diagnosing student programs in Ask-Elle. (Technical Report Series; No. UU-CS-2014-025). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/306465/2014_025.pdf?sequence=1
Keuning, H., Heeren, B., & Jeuring, J. (2014). Strategy-based feedback in a programming tutor. (Technical Report Series; No. UU-CS-2014-026). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/306245/26.pdf?sequence=1
Jeuring, J. (2014). Effectieve computerapplicaties: vergelijk de didactiek, niet het domein. (Technical Report Series; No. UU-CS-2014-027). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/306085/2014_027.pdf?sequence=1
Jeuring, J., & Chakravarty, M. M. T. (2014). ICFP'14 ACM SIGPLAN International Conference on Functional Programming Gothenburg, Sweden — September 01 - 03, 2014: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming. ACM.
Keuning, H., Heeren, B. J., & Jeuring, J. (2014). Strategy-based feedback in a programming tutor. In Proceedings CSERC 2014: Computer Science Education Research Conference ACM.
Jeuring, J., van Binsbergen, T., Gerdes, A., & Heeren, B. J. (2014). Model solutions and properties for diagnosing student programs in Ask-Elle. In Proceedings CSERC 2014: Computer Science Education Research Conference (pp. 1-10). ACM.
Olmer, T., Heeren, B. J., & Jeuring, J. (2014). Evaluating Haskell expressions in a tutoring environment. In J. Caldwell, P. Hölzenspies, & P. Achten (Eds.), Proceedings TFPIE 2014: 3rd International Workshop on Trends in Functional Programming in Education (pp. 50-66). (Electronic Proceedings in Theoretical Computer Science; Vol. 170).
Jeuring, J., van Rooij, R., & Pronost, N. (2014). The 5/10 method: a method for designing educational games. In A. De Gloria (Ed.), Games and Learning Alliance : Second International Conference, GALA 2013 Paris, France, October 23–25, 2013 Revised Selected Papers (pp. 364-369). (Lecture Notes in Computer Science; Vol. 8605). Springer. https://doi.org/10.1007/978-3-319-12157-4_30
Vaessen, B., Prins, F., & Jeuring, J. (2014). University students’ achievement goals and help-seeking strategies in an Intelligent Tutoring System. Computers & Education, 72, 196-208. https://doi.org/10.1016/j.compedu.2013.11.001
Heeren, B. J., & Jeuring, J. T. (2014). Feedback services for stepwise exercises. Science of Computer Programming, 88, 110-129.
Labra Gayo, J. E., Jeuring, J. T., & Alvarez Rodriguez, J. M. (2014). Inductive representations of RDF Graphs. Science of Computer Programming, 95, 135-146. https://doi.org/10.1016/j.scico.2013.12.011
Leather, S. P., Jeuring, J. T., Löh, A., & Schuur, B. (2014). Type-changing rewriting and semantics-preserving transformation. In Chin and Hage (Ed.), Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (pp. 109-120). ACM. https://doi.org/10.1145/2543728.2543734

Professional publications

Jeuring, J. (2014). Effectieve computerapplicaties: vergelijk de didactiek, niet het domein. 4W: Weten wat werkt en waarom, 3(3), 22-29. http://4w.kennisnet.nl/artikelen/2014/10/30/effectieve-computerapplicaties-vergelijk-de-didact/

2013

Scholarly publications

Jeuring, J. (2013). The history of finding palindromes. In J. Hage, & A. Dijkstra (Eds.), Een lawine van ontwortelde bomen - Liber Amicorum voor Doaitse Swierstra (pp. 27-33)
van Eekelen, J., Leather, S. P., & Jeuring, J. T. (2013). Type-changing program transformations with pattern matching. In Proceedings HART 2013: Workshop on Haskell and Rewriting Techniques (pp. 13-18)
Hastjarjanto, T., Jeuring, J. T., & Leather, S. (2013). A DSL for describing the artificial intelligence in real-time video games. Department of Information and Computing Sciences, Utrecht University.
Andrès, E., Heeren, B. J., & Jeuring, J. T. (2013). Towards automatic generation of domain-specific mathematical input support. Department of Information and Computing Sciences, Utrecht University.
Leather, S., Jeuring, J. T., Löh, A., & Schuur, B. (2013). Type-Changing Rewriting and Semantics-Preserving Transformation. Department of Information and Computing Sciences, Utrecht University.
Hastjarjanto, T., Jeuring, J. T., & Leather, S. P. (2013). A DSL for describing the artificial intelligence in real-time video games. In K. L. M. Cooper, W. Scacchi, & A. I. Wang (Eds.), Proceedings GAS 2013: the 3rd International Workshop on Games and Software Engineering (pp. 8-14). IEEE.
Jeuring, J. T. (2013). Finding palindromes: variants and algorithms. Department of Information and Computing Sciences, Utrecht University.
Bezirgiannis, N., Jeuring, J. T., & Leather, S. P. (2013). Usage of generic programming on hackage: experience report. In J. Carette, & J. Willcock (Eds.), WGP '13: Proceedings of the 9th ACM SIGPLAN workshop on Generic programming (pp. 47-52). ACM.
Andres, E., Heeren, B. J., & Jeuring, J. T. (2013). Towards automatic generation of domain-specific mathematical input support. In A. Kohlhase, & P. Libbrecht (Eds.), Proceedings MathUI 2013: Workshop on Mathematical User Interfaces (CEUR Workshop Proceedings).
Labra Gayo, J. E., Jeuring, J. T., & Alvarez Rodriguez, J. M. (2013). Inductive triple graphs: a purely functional approach to represent RDF. Department of Information and Computing Sciences, Utrecht University.
Jeuring, J. T., van Rooij, R., & Pronost, N. G. (2013). The 5/10 method: a method for designing educational games. Department of Information and Computing Sciences, Utrecht University.
Jeuring, J. T. (2013). Finding palindromes: variants and algorithms. In P. Achten, & P. Koopman (Eds.), The beauty of functional code - Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday (pp. 258-272). (Lecture Notes in Computer Sciences; Vol. 8106). Springer.
van Eekelen, J., Leather, S., & Jeuring, J. T. (2013). Type-changing program transformations with pattern matching. Department of Information and Computing Sciences, Utrecht University.
Jeuring, J. T. (2013). The history of finding palindromes. Department of Information and Computing Sciences, Utrecht University.
Bezirgiannis, N., Jeuring, J. T., & Leather, S. (2013). Usage of Generic Programming on Hackage - Experience report -. Department of Information and Computing Sciences, Utrecht University.
Labra Gayo, J. E., Jeuring, J. T., & Alvarez Rodriguez, J. M. (2013). Inductive triple graphs: a purely functional approach to represent RDF. In M. Croitoru, C. Gonzales, S. Rudolph, & S. Woltran (Eds.), Proceedings GKR 2013: 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (pp. 92-110). (Lecture Notes in Artificial Intelligence; Vol. 8323). Springer.

Other output

Jeuring, J. T., van Rooij, R., & Pronost, N. G. (2013). The 5/10 method: a method for designing educational games. Poster session presented at Unknown event.
https://dspace.library.uu.nl/bitstream/handle/1874/289641/The510method_Poster_GALA2013.pdf?sequence=1

2012

Scholarly publications

Keuchel, S., & Jeuring, J. T. (2012). Generic conversions of abstract syntax rep- resentations. 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.
Leather, S. P., Jeuring, J. T., Löh, A., & Schuur, B. (2012). Type-and-Transform Systems. Department of Information and Computing Sciences, Utrecht University.
Jeuring, J. T., Gerdes, A., & Heeren, B. (2012). Ask-Elle: A Haskell tutor --- Demonstration ---. In A. Ravenscroft, S. Lindstaedt, C. Delgado Kloos, & D. Hernández-Leo (Eds.), 21st Century Learning for 21st Century Skills: Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning (pp. 453-458). (Lecture Notes in Computer Science; Vol. 7563). Springer.
Jeuring, J. T., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., & Sorge, V. (2012). Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. (Lecture Notes in Computer Science ed.) Springer.
Gerdes, A., Heeren, B., & Jeuring, J. T. (2012). Teachers and students in charge --- Using annotated model solutions in a functional programming tutor. In A. Ravenscroft, S. Lindstaedt, C. Delgado Kloos, & D. Hernández-Leo (Eds.), 21st Century Learning for 21st Century Skills: Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning (pp. 383-388). (Lecture Notes in Computer Science; Vol. 7563). Springer.
Gerdes, A., Jeuring, J. T., & Heeren, B. (2012). An interactive functional programming tutor. In T. Lapidot, J. Gal-Ezer, M. E. Caspersen, & O. Hazzan (Eds.), Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012 (pp. 250-255). ACM.
Roijers, D. M., Jeuring, J. T., & Feelders, A. J. (2012). Probability estimation and a competence model for rule based e-tutoring systems. 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., Gerdes, A., & Heeren, B. J. (2012). A Programming tutor for Haskell. Department of Information and Computing Sciences, Utrecht University.
Roijers, D. M., Jeuring, J. T., & Feelders, A. (2012). Probability estimation and a competence model for rule based e-tutoring systems. In S. Dawson, C. Haythornthwaite, S. Buckingham Shum, D. Gasevic, & R. Ferguson (Eds.), Second International Conference on Learning Analytics and Knowledge, LAK 2012, Vancouver, BC, Canada, April 29 - May 02, 2012 (pp. 255-258). ACM.
Jeuring, J. T., Jansson, P., & Amaral, C. (2012). Testing type class laws. In Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell (pp. 49-60). ACM.
Jeuring, J. T., Gerdes, A., & Heeren, B. (2012). A programming tutor for Haskell. In Z. Horváth, & V. Zsók (Eds.), Proceedings of CEFP 2011: the 4th Central European Functional Programming School (pp. 1-45). (Lecture Notes in Computer Science; Vol. 7241). Springer.
Keuchel, S., & Jeuring, J. T. (2012). Generic conversions of abstract syntax representations. In Proceedings of WGP 2012: the 8th ACM SIGPLAN workshop on generic programming (pp. 57-68). ACM.
Jeuring, J. T., Jansson, P., & Amaral, C. (2012). Testing Type Class Laws. 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., & Heeren, B. J. (2012). Feedback Genereren in Leeromgevingen voor Algebra. Department of Information and Computing Sciences, Utrecht University.
Roijers, D. M., Jeuring, J. T., & Feelders, A. J. (2012). Probability Estimation and a Competence Model for Rule-based e-Tutoring Systems. In Learning Analytics and Knowledge (LAK 2012)

Professional publications

Heeren, B. J., & Jeuring, J. T. (2012). Feedback genereren in leeromgevingen voor algebra. Nieuw archief voor wiskunde. Serie 5, 13(4), 271-275.
https://dspace.library.uu.nl/bitstream/handle/1874/315419/271.pdf?sequence=1

2011

Scholarly publications

Lodder, J., & Jeuring, J. (2011). Math-Bridge, bridging the math gap between high school and universities. In Proceedings EADTU annual conference 2011 (pp. 177-185)
Goguadze, G., Andrès, E., Jeuring, J., & Heeren, B. J. (2011). Generation of Interactive Exercises Using Domain Reasoners. In Proceedings Technology-Enhanced Learning for Mathematics and Science: Landmark Research and New Contributions, TELMAS@ECTEL’2011
Jeuring, J. T., Rodrigues Magalhães, J. P., & Heeren, B. (2011). Generic Programming for Domain Reasoners. In Z. Horváth, V. Zsók, P. Achten, & P. Koopman (Eds.), Proceedings of TFP 2009: 10th Symposium on Trends in Functional Programming (pp. 113-128). Intellect.
Yakushev, A., Jeuring, J. T., Jansson, P., Gerdes, A., Kiselyov, O., & Oliveira, B. (2011). Comparing Datatype Generic Libraries in Haskell. Department of Information and Computing Sciences, Utrecht University.
Heeren, B., & Jeuring, J. T. (2011). Interleaving strategies. Department of Information and Computing Sciences, Utrecht University.
Rodrigues Magalhães, J. P., & Jeuring, J. T. (2011). Generic Programming for Indexed Datatypes. Department of Information and Computing Sciences, Utrecht University.
Lodder, J., & Jeuring, J. T. (2011). Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten. Department of Information and Computing Sciences, Utrecht University.
Rodrigues Magalhães, J. P., & Jeuring, J. T. (2011). Generic Programming for Indexed Datatypes. In ACM SIGPLAN 7th Workshop on Generic Programming (pp. 37-46). ACM Press.
Koldenhof, E., Jeuring, J. T., & van Ruth, S. (2011). Rendement van objectgeori�eerd programmeren - een pilot-experiment met de BlueJ methode. Department of Information and Computing Sciences, Utrecht University.
Heeren, B. J., & Jeuring, J. T. (2011). Interleaving strategies. In J. H. Davenport, W. M. Farmer, F. Rabe, & J. Urban (Eds.), Intelligent Computer Mathematics (pp. 196-211). (Lecture Notes in Artificial Intelligence; Vol. 6824). Springer.

Professional publications

Lodder, J., & Jeuring, J. (2011). Math-Bridge, een internationale wiskunde-brug tussen VO en HO, ook voor informaticastudenten. In K. Lemmen, & E. van de Vrie (Eds.), Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011 (pp. 169-174)
Koldenhof, E., Jeuring, J., & Ruth, S. (2011). Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode. In K. Lemmen, & E. van de Vrie (Eds.), Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011 (pp. 133-147)

2010

Scholarly publications

Heeren, B. J., Jeuring, J. T., & Gerdes, A. (2010). Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science, 3(3), 349-370.
Rodriguez, A., & Jeuring, J. T. (2010). Enumerating Well-Typed Terms Generically. In U. Schmid, E. Kitzelmann, & R. Plasmeijer (Eds.), Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming (pp. 93-116). (Lecture Notes in Computer Science; Vol. 5812). Springer.
Gerdes, A., Heeren, B., & Jeuring, J. T. (2010). Properties of Exercise Strategies. In H. Kirchner, & C. Muñoz (Eds.), Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming (pp. 21-34). (Electronic Proceedings in Theoretical Computer Science; Vol. 44).
Rodrigues Magalhães, J. P., Dijkstra, A., Jeuring, J. T., & Löh, A. (2010). A generic deriving mechanism for Haskell. Department of Information and Computing Sciences, Utrecht University.
van Noort, T., Rodriguez, A., Holdermans, S., Jeuring, J. T., Heeren, B., & Rodrigues Magalhães, J. P. (2010). A lightweight approach to datatype-generic rewriting. Journal of Functional Programming, 20(3/4), 375-413.
van Noort, T., 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.
Gerdes, A., Heeren, B. J., & Jeuring, J. T. (2010). Properties of exercise strategies. Department of Information and Computing Sciences, Utrecht University.
Gerdes, A., Jeuring, J. T., & Heeren, B. (2010). Using Strategies for Assessment of Programming Exercises. In G. Lewandowski, S. Wolfman, T. J. Cortina, E. L. Walker, & D. R. Musicant (Eds.), Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010 (pp. 441-445). ACM Press.
Leather, S., Löh, A., & Jeuring, J. T. (2010). Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. In M. T. Morazán, & S-B. Scholz (Eds.), Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages (pp. 159-178). (Lecture Notes in Computer Science; Vol. 6041). Springer.
van Steenbergen, M., Rodrigues Magalhães, J. P., & Jeuring, J. T. (2010). Generic selections of subexpressions. In Proceedings Workshop on Generic Programming, WGP 2010 (pp. 37-48). ACM Press.
Heeren, B. J., & Jeuring, J. T. (2010). Adapting Mathematical Domain Reasoners. In S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, & A. P. Sexton (Eds.), Proceedings MKM 2010, the 9th International Conference on Mathematical Knowledge Management (pp. 315-330). (Lecture Notes in Computer Science; Vol. 6167). Springer.
Biehler, R., Fischer, P. R., Hochmuth, R., Jeuring, J. T., & Wassong, T. (2010). How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. 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.
Rodrigues Magalhães, J. P., Dijkstra, A., Jeuring, J. T., & Löh, A. (2010). A generic deriving mechanism for Haskell. In Proceedings Haskell Symposium (pp. 37-48). ACM Press.
Rodrigues Magalhães, J. P., Holdermans, S., Jeuring, J. T., & Löh, A. (2010). Optimizing generics is easy! In Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2010 (pp. 33-42). ACM Press.
Biehler, R., Fischer, P., Hochmuth, R., Jeuring, J. T., & Wassong, T. (2010). How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. In Proceedings of Student Mobility and ICT: World in Transition
van Steenbergen, M., Rodrigues Magalhães, J. P., & Jeuring, J. T. (2010). Generic selections of subexpressions. Department of Information and Computing Sciences, Utrecht University.

2009

Scholarly publications

Jeuring, J. T., & Meertens, L. G. L. T. (2009). Geniaal programmeren - Generic programming at Utrecht. (UU-CS ed.) UU BETA ICS Departement Informatica.
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., Leather, S. P., Rodrigues Magalhães, J. P., & Rodriguez Yakushev, A. (2009). Libraries for Generic Programming in Haskell. In P. Koopman, R. Plasmeijer, & D. Swierstra (Eds.), Proceedings of the Sixth Advanced Functional Programming School, AFP'08 (pp. 165-229). (Lecture Notes in Computer Science; Vol. 5832). Springer.
Jeuring, J. T., & Meertens, L. G. L. T. (2009). Geniaal programmeren - Generic programming at Utrecht. In H. Bodlaender (Ed.), Fascination for computation, 25 jaar opleiding informatica (pp. 75-88)
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). (Lecture Notes in Artificial Intelligence; Vol. 5625). Springer.
Heeren, B. J., & Jeuring, J. T. (2009). Recognizing Strategies. In A. Middeldorp (Ed.), WRS 2008: Reduction Strategies in Rewriting and Programming, 8th International Workshop (pp. 91-106). (Electronic Notes in Theoretical Computer Science; Vol. 237).
Leather, S. P., Löh, A., & Jeuring, J. T. (2009). Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. UU BETA ICS Departement Informatica.
Rodrigues Magalhães, J. P., Holdermans, S., Jeuring, J. T., & Löh, A. (2009). Optimizing Generics Is Easy! UU BETA ICS Departement Informatica.
Jeuring, J. T., & Rodriguez Yakushev, A. (2009). Enumerating Well-Typed Terms Generically. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
Jeuring, J. T., Rodrigues Magalhães, J. P., & Heeren, B. J. (2009). Generic Programming for Domain Reasoners. UU BETA ICS Departement Informatica.
Gerdes, A., Jeuring, J. T., & Heeren, B. J. (2009). Using Strategies for Assessment of Programming Exercises. UU BETA ICS Departement Informatica.
Rodriguez Yakushev, A., Holdermans, S., Löh, A., & Jeuring, J. T. (2009). Generic programming with fixed points for mutually recursive datatypes. In G. Hutton, & A. P. Tolmach (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09 (pp. 233-244). ACM.
Heeren, B. J., Jeuring, J. T., & Gerdes, A. (2009). Strategies for Exercises. (UU-CS ed.) UU BETA ICS Departement Informatica.
Jeuring, J. T., & Heeren, B. J. (2009). An Interactive Exercise Player for Math-Bridge. UU BETA ICS Departement Informatica.
Heeren, B. J., & Jeuring, J. T. (2009). Canonical Forms in Interactive Exercise Assistants. 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)

2008

Scholarly publications

van Noort, T., Rodriguez Yakushev, A., Holdermans, S., Jeuring, J. T., & Heeren, B. J. (2008). A Lightweight Approach to Datatype-Generic Rewriting. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-020.html
Rodriguez Yakushev, A., Holdermans, S., Loeh, A., & Jeuring, J. T. (2008). Generic programming with fixed points for mutually recursive datatypes. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-019.html
Gerdes, A., Heeren, B. J., & Jeuring, J. T. (2008). Constructing Strategies for Programming. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-049.html
Heeren, B. J., Jeuring, J. T., van Leeuwen, A. J., & Gerdes, A. (2008). Specifying Strategies for Exercises. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-001.html
van Noort, T., 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.
Heeren, B. J., Jeuring, J. T., van Leeuwen, A. J., & 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.
Dolstra, E., Hage, J., Heeren, B. J., Holdermans, S., Jeuring, J. T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A., & van Schie, J. (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). ACM.
Heeren, B. J., & Jeuring, J. T. (2008). Recognizig strategies. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-012.html
Gerdes, A., Heeren, B. J., Jeuring, J. T., & Stuurman, S. (2008). Feedback Services for Exercise Assistants. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-018.html
Rodriguez Yakushev, A., Jeuring, J. T., Jansson, P., Gerdes, A., Kiselyov, O., & Oliviera, B. C. D. S. (2008). Comparing Libraries for Generic Programming in {H}askell. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-010.html
Löh, A., Jeuring, J. T., van Noort, T., Rodriguez Yakushev, A., Clarke, D., Hinze, R., & de Wit, J. (2008). The {G}eneric {H}askell user's guide, {V}ersion 1.80 - {E}merald release. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-011.html
Jeuring, J. T., Leather, S., & Rodriguez Yakushev, A. (2008). Libraries for Generic Programming in {H}askell. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2008-025.html

2007

Scholarly publications

Atanassow, F., & Jeuring, J. T. (2007). Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming, 65(2), 72-107. https://doi.org/10.1016/j.scico.2006.01.005
Dolstra, E., Hage, J., Heeren, B. J., Holdermans, S., Jeuring, J. T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., van Schie, J. C., & Löh, C. (2007). Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-029.html
Backhouse, R. C., Gibbons, J., Hinze, R., & Jeuring, J. T. (2007). Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures. (LNCS ed.) Springer.
Jeuring, J. T. (2007). Feedback in exercise assistants. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-036.html
Jeuring, J. T., Passier, H., & Stuurman, S. (2007). A Generic Framework for Developing Exercise Assistants. In Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan
Jansson, P., Jeuring, J. T., Cabenda, L., Engels, G., Kleerekoper, J., Mak, S., Overeem, M., & Visser, K. (2007). Testing properties of generic functions. In Z. Horváth, V. Zsók, & A. Butterfield (Eds.), Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers (pp. 217-234). Springer.
Jeuring, J. T., & Pasman, W. (2007). Strategy Feedback in an E-learning Tool for Mathematical Exercises. In V. Dötsch, & F. Hering (Eds.), Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany (pp. 7-26)
Jeuring, J. T., & Pasman, W. (2007). Strategy Feedback in an E-learning Tool for Mathematical Exercises. (CS-UU ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-007.html
Jeuring, J. T., Passier, H., & Stuurman, S. (2007). A Generic Framework for Developing Exercise Assistants. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-017.html
Dolstra, E., Hage, J., Heeren, B. J., Holdermans, S., Jeuring, J. T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., van Schie, J. C., & Löh, C. (2007). Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-027.html
Hinze, R., Jeuring, J. T., & Löh, A. (2007). Comparing approaches to generic programming in Haskell. In R. C. Backhouse, J. Gibbons, R. Hinze, & J. Jeuring (Eds.), Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (pp. 72-149). Springer.
Stuurman, S., & Jeuring, J. T. (2007). Turning an interactive tool implemented in Haskell into a web application -- An experience report. (UU-CS ed.) UU WINFI Informatica en Informatiekunde. http://www.cs.uu.nl/research/techreps/UU-CS-2007-008.html
Jeuring, J. T. (2007). Feedback in exercise assistants. In Book of abstracts of Online Educa Berlin, 13th International Conference on Technology Supported Learning & Training, 2007

2006

Scholarly publications

Atanassow, F., & Jeuring, J. T. (2006). Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20797/jeuring_06_customizinganxmlhaskelldata.pdf?sequence=1
Jeuring, J. T., Rodriguez, A., & Smeding, G. (2006). Generating generic functions. In R. Hinze (Ed.), Proceedings of the ACM Sigplan Workshop on Generic Programming, WGP'06 (pp. 23-32)
Hinze, R., Jeuring, J. T., & Löh, A. (2006). Typed Contracts for Functional Programming. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20796/jeuring_06_typedcontracts_technical.pdf?sequence=1
Passier, H., & Jeuring, J. T. (2006). Feedback in an interactive equation solver. In M. Seppälä, S. Xambo, & O. Caprotti (Eds.), Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006 (pp. 53-68). Oy WebALT Inc..
https://dspace.library.uu.nl/bitstream/handle/1874/20793/jeuring_06_feedbackinaninteractive.pdf?sequence=1
Holdermans, S., Jeuring, J. T., Löh, A., & Rodriguez Yakushev, A. (2006). Generic Views on Data Types. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
Passier, H., & Jeuring, J. T. (2006). Feedback in an interactive equation solver. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20799/jeuring_06_feedbackinaninteractive_extended.pdf?sequence=1
Jeuring, J. T., & Plasmeijer, R. (2006). Generic Programming for Software Evolution. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20798/jeuring_06_genericprogrammingforsoftware_technical.pdf?sequence=1
Hinze, R., Jeuring, J. T., & Löh, A. (2006). Comparing approaches to generic programming in Haskell. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
Hinze, R., Jeuring, J. T., & Löh, A. (2006). Typed Contracts for Functional Programming. In P. Wadler, & M. Hagiya (Eds.), Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006 (pp. 208-225). Springer.
https://dspace.library.uu.nl/bitstream/handle/1874/20795/jeuring_06_typedcontracts.pdf?sequence=1
Holdermans, S., Jeuring, J. T., Löh, A., & Rodriguez, A. (2006). Generic views on data types. In T. Uustalu (Ed.), Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006 (pp. 209-234). Springer.
Lodder, J., Jeuring, J. T., & Passier, H. (2006). An interactive tool for manipulating logical formulae. In M. Manzano, B. Pérez Lancho, & G. A. (Eds.), Proceedings of the Second International Congress on Tools for Teaching Logic
Jansson, P., & Jeuring, J. T. (2006). Testing properties of generic functions. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
Jeuring, J. T., & Plasmeijer, R. (2006). Generic Programming for Software Evolution. In Informal proceedings of the ERCIM workshop on Software Evolution
https://dspace.library.uu.nl/bitstream/handle/1874/20794/jeuring_06_genericprogrammingforsoftware.pdf?sequence=1
Löh, A., Jeuring, J. T., & Rodriguez Yakushev, A. (2006). The Generic Haskell user's guide, Version 1.60 - Diamond release. UU WINFI Informatica en Informatiekunde.
Lodder, J., Jeuring, J. T., & Passier, H. (2006). An interactive tool for manipulating logical formulae. (UU-CSAn interactive tool for manipulating logical formulae ed.) UU WINFI Informatica en Informatiekunde.
Jeuring, J. T., Rodriguez Yakushev, A., & Smeding, G. (2006). Generating generic functions. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.

2005

Scholarly publications

Atanassow, F., & Jeuring, J. T. (2005). Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20791/jeuring_05_inferringtypeisomorphisms.pdf?sequence=1
Passier, H., & Jeuring, J. T. (2005). Using Schema Analysis for Feedback in Authoring Tools for Learning Environments -- short paper. In Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED'05
https://dspace.library.uu.nl/bitstream/handle/1874/20788/jeuring_05_usingschemaanalysis_short.pdf?sequence=1
Holdermans, S., Jeuring, J. T., & Löh, A. (2005). Generic Views on Data Types. (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20790/jeuring_05_genericviewsondata.pdf?sequence=1
Passier, H., & Jeuring, J. T. (2005). Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. In A. Cristea, R. Carro, & F. Garzotto (Eds.), Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005 (pp. 13-20)
https://dspace.library.uu.nl/bitstream/handle/1874/20789/jeuring_05_usingschemaanalysis_extended.pdf?sequence=1
Löh, A., Jeuring, J. T., Clarke, D. G., Hinze, R., Rodriguez, A., & de Wit, J. (2005). Generic Haskell User's Guide -- Version 1.42 (Coral). (UU-CS ed.) UU WINFI Informatica en Informatiekunde.
https://dspace.library.uu.nl/bitstream/handle/1874/20792/jeuring_05_generichaskellusersguide.pdf?sequence=1

2004

Scholarly publications

Atanassow, F., & Jeuring, J. T. (2004). Inferring Type Isomorphisms Generically. In D. Kozen (Ed.), Proceedings of the 7th International Conference on Mathematics of Program Construction. (pp. 32-53). Springer.
https://dspace.library.uu.nl/bitstream/handle/1874/20863/jeuring_04_inferringtype.pdf?sequence=1
Passier, H., & Jeuring, J. T. (2004). Ontology Based Feedback Generation in Design-Orientated e-Learning Systems. In P. Isaias, P. Kommers, & M. McPherson (Eds.), Proceedings of the IADIS International Conference, e-Society 2004. (pp. 992-996)
https://dspace.library.uu.nl/bitstream/handle/1874/20866/jeuring_04_ontologybasedfeedback.pdf?sequence=1
Guerra, M. A. R. S., Jeuring, J. T., & Swierstra, S. D. (2004). Generic validation in an XPath-Haskell data binding. In Proceedings Plan-X, Programming Language Technologies for XML.
https://dspace.library.uu.nl/bitstream/handle/1874/20787/jeuring_05_genericvalidationinanxpath.pdf?sequence=1
Hinze, R., Jeuring, J. T., & Löh, A. (2004). Type-indexed data types. Science of Computer Programming, 51(1-2), 117-151.
https://dspace.library.uu.nl/bitstream/handle/1874/20865/jeuring_04_typeindexeddatatypes.pdf?sequence=1
Atanassow, F., Clarke, D. G., & Jeuring, J. T. (2004). UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman (Ed.), Proceedings 6th International Symposium on Practical Aspects of Declarative Languages. (pp. 71-85). Springer.
https://dspace.library.uu.nl/bitstream/handle/1874/20864/jeuring_04_uuxml.pdf?sequence=1

2003

Scholarly publications

Atanassow, F., Clarke, D. G., & Jeuring, J. T. (2003). Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003 http://www.cs.uu.nl/ franka/pub
Hinze, R., & Jeuring, J. T. (2003). Generic Haskell: Practice and Theory. (UU-CS ed.) Utrecht University: Information and Computing Sciences.
https://dspace.library.uu.nl/bitstream/handle/1874/20862/jeuring_03_generichaskellpractice_technical.pdf?sequence=1
Löh, A., Clarke, D. G., & Jeuring, J. T. (2003). Dependency-style Generic Haskell. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (pp. 141-152). ACM.
https://dspace.library.uu.nl/bitstream/handle/1874/20859/jeuring_03_dependencystyle.pdf?sequence=1
Hinze, R., & Jeuring, J. T. (2003). Generic Haskell: applications. In Generic Programming, Advanced Lectures (pp. 57-97). Springer.
https://dspace.library.uu.nl/bitstream/handle/1874/20858/jeuring_03_generichaskell.pdf?sequence=1
Gibbons, J., & Jeuring, J. T. (2003). Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. Kluwer Academis Publishers.
Hinze, R., & Jeuring, J. T. (2003). Generic Haskell: Applications. (UU-CS ed.) Utrecht University: Information and Computing Sciences.
https://dspace.library.uu.nl/bitstream/handle/1874/20861/jeuring_02_lecture3_thezipper.pdf?sequence=1
Atanassow, F., Clarke, D. G., & Jeuring, J. T. (2003). Scripting XML with Generic Haskell. Utrecht University.
Hinze, R., & Jeuring, J. T. (2003). Generic Haskell: practice and theory. In Generic Programming, Advanced Lectures (pp. 1-56). Springer.
https://dspace.library.uu.nl/bitstream/handle/1874/20857/jeuring_03_generichaskellpractice.pdf?sequence=1
Jeuring, J. T. (2003). Proceedings Haskell Workshop. HW'03. ACM Press.
Jeuring, J. T., & Peyton Jones, S. (2003). Advanced Functional Programming, AFP'02, Advanced Lectures. Springer.
Löh, A., Clarke, D. G., & Jeuring, J. T. (2003). Dependency-style Generic Haskell. (UU-CS ed.) Universiteit Utrecht. http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2003/2003-022.pdf

Popularising publications

Jeuring, J. T. (2003). Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, 8, 4-7.
https://dspace.library.uu.nl/bitstream/handle/1874/20856/jeuring_03_ontwikkelenvanxmltools.pdf?sequence=1

2002

Scholarly publications

Jansson, P., & Jeuring, J. T. (2002). Polytypic data conversion programs. Science of Computer Programming, 43(1), 35-75.
Clarke, D. G., Jeuring, J. T., & Löh, A. (2002). The Generic Haskell User's Guide. Version 1.23 - Beryl release. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2002-047.html
Heeren, B. J., Jeuring, J. T., Swierstra, S. D., & Alcocer, A. (2002). Improving type-error messages in functional languages. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2002-009.html
Schrage, M., Jeuring, J. T., & Swierstra, S. D. (2002). Combinators for layered software architectures. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2002-030.html
Jeuring, J. T., & Hagg, P. (2002). Generic Programming for XML Tools. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2002-023.html
Hinze, R., Jeuring, J. T., & Löh, A. (2002). Type-indexed data types. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2002-011.html
Hinze, R., Jeuring, J. T., & Löh, A. (2002). Type-indexed data types. In E. A. Boiten, & B. Möller (Eds.), Proceedings of the 6th International Conference on Mathematics of Program Construction (pp. 148-174). Springer.

2001

Scholarly publications

Clarke, D. G., Hinze, R., Jeuring, J. T., Löh, A., & Wit, J. (2001). The Generic Haskell User's Guide. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2001-26.html
Jansson, P., & Jeuring, J. T. (2001). Polytypic data conversion programs. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2001-34.html
Hinze, R., & Jeuring, J. T. (2001). Weaving a web. Journal of Functional Programming, 11(6), 681-689.
Jeuring, J. T., & Hinze, R. (2001). Functional Pearl. Weaving a Web. (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2001-33.html

2000

Scholarly publications

Jeuring, J. T. (2000). Proceedings Workshop on Generic Programming (WGP2000). (UU-CS ed.) Utrecht University: Information and Computing Sciences. http://www.cs.uu.nl/research/techreps/UU-CS-2000-19.html
Jansson, P., & Jeuring, J. T. (2000). A framework for polytypic programming on terms, with an application to rewriting. In J. Jeuring (Ed.), Proceedings Workshop on Generic Programming (WGP2000)

1999

Scholarly publications

Jeuring, J. T., & Swierstra, S. D. (1999). Advanced Programming Concepts in a Course on Grammars and Parsing. In M. Felleisen, M. Hanus, & S. Thompson (Eds.), Proceedings Workshop on Functional and Declarative Programming in Education (pp. 7-12). RICE COMP.
Jansson, P., & Jeuring, J. T. (1999). Polyptic Compact Printing and Parsing. In S. D. Swierstra (Ed.), Proceedings European Symposium on Programming ESOP'99 LNCS 1576 (pp. 273-287). Springer.
Backhouse, R., Jansson, P., Jeuring, J. T., & Meertens, L. G. L. T. (1999). Generic Programming: an introduction. In S. D. Swierstra, P. R. Henriques, & J. N. Olivera (Eds.), Advanced Functional Programming (pp. 28-115). (LNCS; No. 1608). Springer.

1998

Scholarly publications

Jeuring, J. T. (1998). Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings. (Lecture notes in computer science; Vol. 1422). Springer. https://doi.org/10.1007/BFb0054279
Jansson, P., & Jeuring, J. T. (1998). PolyLib: a polytypic function library. In Workshop on Generic Programming
Jansson, P., & Jeuring, J. T. (1998). Functional Pearl: Polytypic unification. Journal of Functional Programming, 8(5), 527-536.

1997

Scholarly publications

Jansson, P., & Jeuring, J. T. (1997). PolyP --- a polytypic programming language extension. In Proceedings of POPL 97 (pp. 470-482). ACM Press.

1994

Scholarly publications

Jeuring, J. T., & Swierstra, S. D. (1994). Bottom-up grammar analysis - A functional formulation. (UU-CS ed.) Unknown Publisher. http://www.cs.uu.nl/research/techreps/UU-CS-1994-01.html

1990

Scholarly publications

Jeuring, J. T. (1990). Algorithms from theorems. (RUU-CS ed.) Unknown Publisher. http://www.cs.uu.nl/research/techreps/RUU-CS-90-03.html
See publications on the UU Research Portal

Go to

Services

About UU