prof. dr. J.T. (Johan) Jeuring
J.T.Jeuring@uu.nl
Gegenereerd op 2017-11-21 15:17:12


Chair
Software technology for learning and teaching
Date of appointment 01.09.2013
Inaugural lecture date 24.09.2014
Gegenereerd op 2017-11-21 15:17:12

 

All publications
  2017 - Scholarly publications
Gerdes, A., Heeren, B.J., Jeuring, J.T. & Binsbergen, Thomas~van (2017). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education, 27 (1), (pp. 65-100) (36 p.).
  2016 - Scholarly publications
Lodder, Josje, Heeren, B.J. & Jeuring, J.T. (2016). A domain reasoner for propositional logic. Journal of Universal Computer Science, 22 (8), (pp. 1097-1122).
Lala, R., Jeuring, J.T. & van Dortmont, Jordy (2016). An implementation architecture for scenario-based simulations. In Alessandro Micarelli, John Stamper & Kitty Panourgia (Eds.), Intelligent Tutoring Systems - 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings (pp. 531-533). Springer International Publishing.
Milovanovic, I. & Jeuring, J.T. (2016). The automatic generation of knowledge spaces from problem solving strategies. Proceedings of ITS 2016: the 13th International Conference on Intelligent Tutoring Systems (pp. 541-542). Springer International Publishing.
Keuning, H.W., Jeuring, J.T. & Heeren, B.J. (2016). Towards a systematic review of automated feedback generation for programming exercises. Proceedings of ITiCSE 2016: the 21st Annual Conference on Innovation and Technology in Computer Science Education (pp. 41-46).
  2015 - Scholarly publications
Jeuring, J.T., Grosfeld, F., Heeren, B.J., Hulsbergen, M., Ijntema, R.C., Jonker, Vincent, Mastenbroek, N.J.J.M., van der Smagt, M.J., Wijmans, F., Wolters, Majanne & 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). Springer International Publishing.
Leather, S.P., Jeuring, J.T., Loeh, A. & Schuur, B. (15.11.2015). Type-changing rewriting and semantics-preserving transformation. Science of Computer Programming, 112 (2), (pp. 145-169) (25 p.).
  2014 - Scholarly publications
Olmer, Tim, Heeren, B.J. & Jeuring, Johan (12.12.2014). Evaluating Haskell expressions in a tutoring environment. In James Caldwell, Philip Hölzenspies & Peter Achten (Eds.), Proceedings TFPIE 2014: 3rd International Workshop on Trends in Functional Programming in Education (pp. 50-66).
Heeren, B.J. & Jeuring, J.T. (2014). Feedback services for stepwise exercises. Science of Computer Programming, 88, (pp. 110-129) (20 p.).
Labra Gayo, J.E., Jeuring, J.T. & Alvarez Rodriguez, J.M (2014). Inductive representations of RDF Graphs. Science of Computer Programming, 95, (pp. 135-146) (12 p.).
Jeuring, Johan, van Binsbergen, Thomas, Gerdes, Alex & Heeren, B.J. (2014). Model solutions and properties for diagnosing student programs in Ask-Elle. Proceedings CSERC 2014: Computer Science Education Research Conference (pp. 1-10) (10 p.). ACM.
Keuning, Hieke, Heeren, B.J. & Jeuring, Johan (2014). Strategy-based feedback in a programming tutor. Proceedings CSERC 2014: Computer Science Education Research Conference ACM.
Jeuring, Johan, van Rooij, Rick & Pronost, Nicolas (2014). The 5/10 method: a method for designing educational games. In A. De Gloria (Eds.), Games and Learning Alliance - Second International Conference, GALA 2013 Paris, France, October 23–25, 2013 Revised Selected Papers (pp. 364-369) (6 p.). Springer, Proceedings of GALA 2013: the Games and Learning Alliance conference.
Leather, S.P., Jeuring, J.T., Löh, A. & Schuur, B. (2014). Type-changing rewriting and semantics-preserving transformation. In Chin and Hage (Eds.), Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (pp. 109-120) (12 p.). ACM.
Vaessen, Bram, Prins, Frans & Jeuring, Johan (2014). University students’ achievement goals and help-seeking strategies in an Intelligent Tutoring System. Computers and Education, 72, (pp. 196-208) (13 p.).
  2014 - Professional publications
Jeuring, Johan (2014). Effectieve computerapplicaties: vergelijk de didactiek, niet het domein. 4W: Weten wat werkt en waarom, 3 (3), (pp. 22-29).
  2013 - Scholarly publications
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) (7 p.). IEEE.
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) (15 p.). Springer.
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). Springer.
Jeuring, Johan (2013). The history of finding palindromes. In Jurriaan Hage & Atze Dijkstra (Eds.), Een lawine van ontwortelde bomen - Liber Amicorum voor Doaitse Swierstra (pp. 27-33).
Andres, E., Heeren, B.J. & Jeuring, J.T. (2013). Towards automatic generation of domain-specific mathematical input support. In Andrea Kohlhase & Paul Libbrecht (Eds.), Proceedings MathUI 2013: Workshop on Mathematical User Interfaces
van Eekelen, J, Leather, S.P. & Jeuring, J.T. (2013). Type-changing program transformations with pattern matching. Proceedings HART 2013: Workshop on Haskell and Rewriting Techniques (pp. 13-18) (6 p.).
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) (6 p.). ACM.
  2012 - Scholarly publications
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) (45 p.). Springer, cefp.
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) (6 p.). ACM, DBLP:conf/iticse/GerdesJH12.
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) (6 p.). Springer, askelledemo.
Keuchel, S. & Jeuring, J.T. (2012). Generic conversions of abstract syntax representations. Proceedings of WGP 2012: the 8th ACM SIGPLAN workshop on generic programming (pp. 57-68). ACM, hoas.
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) (4 p.). ACM, DBLP:conf/lak/RoijersJF12.
Roijers, D.M., Jeuring, J.T. & Feelders, A.J. (2012). Probability Estimation and a Competence Model for Rule-based e-Tutoring Systems. Learning Analytics and Knowledge (LAK 2012)
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) (6 p.). Springer, teacherincharge.
Jeuring, J.T., Jansson, P. & Amaral, C. (2012). Testing type class laws. Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell (pp. 49-60). ACM, testingclasslaws.
  2012 - Professional publications
Heeren, B.J. & Jeuring, J.T. (2012). Feedback genereren in leeromgevingen voor algebra. Nieuw archief voor wiskunde. Serie 5, 13 (4), (pp. 271-275) (5 p.).
  2011 - Scholarly publications
Goguadze, George, Andrès, Eric, Jeuring, Johan & Heeren, B.J. (2011). Generation of Interactive Exercises Using Domain Reasoners. 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) (16 p.). Intellect, Symposium on Trends in Functional Programming.
Rodrigues Magalhães, J.P. & Jeuring, J.T. (2011). Generic Programming for Indexed Datatypes. ACM SIGPLAN 7th Workshop on Generic Programming (pp. 37-46). ACM Press.
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) (16 p.). Springer.
Lodder, Josje & Jeuring, Johan (2011). Math-Bridge, bridging the math gap between high school and universities. Proceedings EADTU annual conference 2011 (pp. 177-185).
  2011 - Professional publications
Lodder, Josje & Jeuring, Johan (2011). Math-Bridge, een internationale wiskunde-brug tussen VO en HO, ook voor informaticastudenten. In Karel Lemmen & Evert van de Vrie (Eds.), Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011 (pp. 169-174).
Koldenhof, Ernst, Jeuring, Johan & Ruth, Sandra (2011). Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode. In Karel Lemmen & Evert van de Vrie (Eds.), Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011 (pp. 133-147).
  2010 - Scholarly publications
Rodrigues Magalhães, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. Proceedings Haskell Symposium (pp. 37-48) (12 p.). ACM Press.
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), (pp. 375-413) (39 p.).
Heeren, B.J. & Jeuring, J.T. (2010). Adapting Mathematical Domain Reasoners. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D.F. Ion, Laurence Rideau, Renaud Rioboo & Alan P. Sexton (Eds.), Proceedings MKM 2010, the 9th International Conference on Mathematical Knowledge Management (pp. 315-330) (16 p.). Springer.
Rodriguez, A. & Jeuring, J.T. (2010). Enumerating Well-Typed Terms Generically. In Ute Schmid, Emanuel Kitzelmann & Rinus Plasmeijer (Eds.), Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming (pp. 93-116) (24 p.). Springer.
van Steenbergen, M., Rodrigues Magalhães, J.P. & Jeuring, J.T. (2010). Generic selections of subexpressions. Proceedings Workshop on Generic Programming, WGP 2010 (pp. 37-48) (12 p.). 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. Proceedings of Student Mobility and ICT: World in Transition
Rodrigues Magalhães, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2010). Optimizing generics is easy!. Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2010 (pp. 33-42) (10 p.). ACM Press.
Gerdes, A., Heeren, B. & Jeuring, J.T. (24.12.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). International Workshop on Strategies in Rewriting, Proving, and Programming.
Leather, S., Löh, A. & Jeuring, J.T. (2010). Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. In Marco T. Morazán & Sven-Bodo Scholz (Eds.), Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages (pp. 159-178) (20 p.). Springer.
Heeren, B.J., Jeuring, J.T. & Gerdes, A. (2010). Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science, 3 (3), (pp. 349-370) (22 p.).
Gerdes, A., Jeuring, J.T. & Heeren, B. (2010). Using Strategies for Assessment of Programming Exercises. In Gary Lewandowski, Steven Wolfman, Thomas J. Cortina, Ellen L. Walker & David R. Musicant (Eds.), Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010 (pp. 441-445) (5 p.). ACM Press.
  2009 - Scholarly publications
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) (5 p.). UUCS2009030pub.
Heeren, B.J. & Jeuring, J.T. (2009). Canonical Forms in Interactive Exercise Assistants. In L. Dixon. (Eds.), Proceedings of MKM 2009: Mathematical Knowledge Management, 8th International Conference (pp. 325-340) (16 p.). Springer, canonicalforms.
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) (8 p.). strategiesforprogramming.
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) (12 p.). ACM, rodriguez2009:icfp.
Jeuring, J.T. & Meertens, L.G.L.T. (2009). Geniaal programmeren - Generic programming at Utrecht. In H. Bodlaender (Eds.), Fascination for computation, 25 jaar opleiding informatica (pp. 75-88) (14 p.). UUCS2009001pub.
Jeuring, J.T., Leather, S.P., Rodrigues Magalhães, J.P. & Rodriguez Yakushev, A. (2009). Libraries for Generic Programming in Haskell. In Pieter Koopman, Rinus Plasmeijer & Doaitse Swierstra (Eds.), Proceedings of the Sixth Advanced Functional Programming School, AFP'08 (pp. 165-229) (65 p.). Springer, jeuj09:AFP_2008.
Heeren, B.J. & Jeuring, J.T. (04.04.2009). Recognizing Strategies. In Aart Middeldorp (Eds.), WRS 2008: Reduction Strategies in Rewriting and Programming, 8th International Workshop (pp. 91-106). recognizingstrategies European Conference on Information Systems.
  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. 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) (12 p.). ACM Press.
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. ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408) (12 p.). New York, NY, USA: ACM, 1411259.
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, specifyingStrategies.
  2007 - Scholarly publications
Jeuring, J.T., Passier, H. & Stuurman, S. (2007). A Generic Framework for Developing Exercise Assistants. Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan jj8.
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) (78 p.). Springer, jj6.
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), (pp. 72-107) (36 p.). Special Issue dedicated to selected papers from the conference of program construction 2004 (MPC 2004).
Jeuring, J.T. (2007). Feedback in exercise assistants. Book of abstracts of Online Educa Berlin, 13th International Conference on Technology Supported Learning & Training, 2007 jj12.
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) (20 p.). jj3.
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) (18 p.). Springer, jj1.
  2006 - Scholarly publications
Lodder, J., Jeuring, J.T. & Passier, H. (2006). An interactive tool for manipulating logical formulae. In M. Manzano, B. Pérez Lancho & Gil A. (Eds.), Proceedings of the Second International Congress on Tools for Teaching Logic jj8.
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) (16 p.). Oy WebALT Inc., jj1.
Jeuring, J.T., Rodriguez, A. & Smeding, G. (2006). Generating generic functions. In R. Hinze (Eds.), Proceedings of the ACM Sigplan Workshop on Generic Programming, WGP'06 (pp. 23-32) (10 p.). jj5.
Jeuring, J.T. & Plasmeijer, R. (2006). Generic Programming for Software Evolution. Informal proceedings of the ERCIM workshop on Software Evolution jj15.
Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez, A. (2006). Generic views on data types. In T. Uustalu (Eds.), Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006 (pp. 209-234) (26 p.). Springer, jj11.
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) (18 p.). Springer, jj14.
  2005 - Scholarly publications
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) (8 p.). passier:jeuring:a3eh05.
Passier, H. & Jeuring, J.T. (2005). Using Schema Analysis for Feedback in Authoring Tools for Learning Environments -- short paper. Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED'05 passier:jeuring:aied05.
  2004 - Scholarly publications
Guerra, M.A.R.S., Jeuring, J.T. & Swierstra, S.D. (2004). Generic validation in an XPath-Haskell data binding. Proceedings Plan-X, Programming Language Technologies for XML.
Atanassow, F. & Jeuring, J.T. (2004). Inferring Type Isomorphisms Generically. In D. Kozen (Eds.), Proceedings of the 7th International Conference on Mathematics of Program Construction. (pp. 32-53) (21 p.). Berlin: Springer.
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) (5 p.).
Hinze, R., Jeuring, J.T. & Löh, A. (2004). Type-indexed data types. Science of Computer Programming, 51 (1-2), (pp. 117-151) (35 p.).
Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2004). UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman (Eds.), Proceedings 6th International Symposium on Practical Aspects of Declarative Languages. (pp. 71-85) (15 p.). Berlin: Springer.
  2003 - Scholarly publications
Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (pp. 141-152) (12 p.). Uppsala: ACM.
Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: applications. Generic Programming, Advanced Lectures (pp. 57-97) (41 p.). Springer, generichaskellapplications.
Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: practice and theory. Generic Programming, Advanced Lectures (pp. 1-56) (56 p.). Springer, generichaskelltheory.
Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003 schema2haskell An extended version of this paper appears as ICS, Utrecht University, technical report UU-CS-2003-023.
  2003 - Popularising publications
Jeuring, J.T. (2003). Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, 8, (pp. 4-7) (4 p.). The devel.
  2002 - Scholarly publications
Jansson, P. & Jeuring, J.T. (2002). Polytypic data conversion programs. Science of Computer Programming, 43 (1), (pp. 35-75) (41 p.).
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) (27 p.). Springer.
  2001 - Scholarly publications
Hinze, R. & Jeuring, J.T. (2001). Weaving a web. Journal of Functional Programming, 11 (6), (pp. 681-689) (9 p.).
  2000 - Scholarly publications
Jansson, P. & Jeuring, J.T. (2000). A framework for polytypic programming on terms, with an application to rewriting. In J. Jeuring (Eds.), Proceedings Workshop on Generic Programming (WGP2000) Ponte de Lima, Portugal, Technical Report UU-CS-2000-1.
  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) (5 p.). RICE COMP.
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) (89 p.). Springer.
Jansson, P. & Jeuring, J.T. (1999). Polyptic Compact Printing and Parsing. In S.D. Swierstra (Eds.), Proceedings European Symposium on Programming ESOP'99 LNCS 1576 (pp. 273-287) (15 p.). Berlin: Springer.
  1998 - Scholarly publications
Jansson, P. & Jeuring, J.T. (1998). Functional Pearl: Polytypic unification. Journal of Functional Programming, 8 (5), (pp. 527-536) (10 p.).
Jeuring, J.T. (1998). Mathematics of Program Construction 4th International Conference, MPC'98. (383 p.). Berin, Germany: Springer, Marstrand, Sweden.
Jansson, P. & Jeuring, J.T. (1998). PolyLib: a polytypic function library. Workshop on Generic Programming Mastrand, Sweden.
  1997 - Scholarly publications
Jansson, P. & Jeuring, J.T. (1997). PolyP --- a polytypic programming language extension. Proceedings of POPL 97 (pp. 470-482) (13 p.). ACM Press, POPL 97.
^ top
Gegenereerd op 2017-11-21 15:17:12
Additional functions and activities

Professor Software Technology at the Open Universiteit Nederland (5%).

Chairman of the Stilt foundation. The goal of the Stilt foundation is to support the use of software technology for learning and teaching.

CTO of DialogueTrainer B.V.

Gegenereerd op 2017-11-21 15:17:12
Full name
prof. dr. J.T. Jeuring Contact details
Buys Ballotgebouw

Princetonplein 5
Room BBG-571
3584 CC  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 4115
Phone number (department) +31 30 253 7088



Gegenereerd op 2017-11-21 15:17:12
Last updated 12.10.2017