Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : prof. dr. J.T. Jeuring

Johan  Jeuring

select other reports

this selection

author prof. dr. J.T. Jeuring

reports (100)

techrep_id file title / author
UU-CS-2016-009 pdf Generating hints and feedback for Hilbert-style axiomatic proofs
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2016-005 pdf Vorm en effect van Programmeeronderwijs in het primair onderwijs
Johan Jeuring, Gemma Corbalan, Joek van Montfort, Nienke van Es and Hanneke Leeuwestein
UU-CS-2016-003 pdf The Automatic Generation of Knowledge Spaces From Problem Solving Strategies
Ivica Milovanovic and Johan Jeuring
UU-CS-2016-002 pdf An implementation architecture for scenario-based simulations
Raja Lala, Johan Jeuring and Jordy van Dortmont
UU-CS-2016-001 pdf Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version
Hieke Keuning, Johan Jeuring and Bastiaan Heeren
UU-CS-2015-019 pdf Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback
Alex Gerdes, Bastiaan Heeren, Johan Jeuring andThomas van Binsbergen
UU-CS-2015-017 pdf The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review
Stephanie de Smale, Tom Overmans, Johan Jeuring and Liesbeth van de Grint
UU-CS-2015-015 pdf Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education
Johan Jeuring
UU-CS-2015-014 pdf Type Class Instances for Type-Level Lambdas in Haskell
Thijs Alkemade and Johan Jeuring
UU-CS-2015-012 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2015-009 pdf Demo: Communicate! — a serious game for communication skills
Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters and Henk van Zeijts
UU-CS-2015-007 pdf A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-027 pdf Effectieve computerapplicaties: vergelijk de didactiek, niet het domein
Johan Jeuring
UU-CS-2014-026 pdf Strategy-based feedback in a programming tutor
Hieke Keuning, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-025 pdf Model solutions and properties for diagnosing student programs in Ask-Elle
Johan Jeuring, Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren
UU-CS-2014-021 pdf Evaluating Haskell expressions in a tutoring environment
Tim Olmer, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-005 pdf Feedback services for stepwise exercises
Bastiaan Heeren and Johan Jeuring
UU-CS-2013-019 pdf University Students' Achievement Goals and Help-Seeking Strategies in an Intelligent Tutoring System
Bram Vaessen, Frans Prins and Johan Jeuring
UU-CS-2013-018 pdf The 5/10 method: a method for designing educational games
Johan Jeuring, Rick van Rooij and Nicolas Pronost
UU-CS-2013-017 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2013-016 pdf Finding palindromes: variants and algorithms
Johan Jeuring
UU-CS-2013-014 pdf Usage of Generic Programming on Hackage — Experience report —
Nikolaos Bezirgiannis, Johan Jeuring and Sean Leather
UU-CS-2013-012 pdf Towards automatic generationof domain-specific mathematical input support
Eric Andre ́s, Bastiaan Heeren and Johan Jeuring
UU-CS-2013-011 pdf Type-changing program transformations with pattern matching
Joeri van Eekelen, Sean Leather and Johan Jeuring
UU-CS-2013-009 pdf Inductive triple graphs: a purely functional approach to represent RDF
Jose Emilio Labra Gayo, Johan Jeuring and Jose María Álvarez Rodríguez
UU-CS-2013-008 pdf The history of finding palindromes
Johan Jeuring
UU-CS-2013-003 pdf A DSL for describing the artificial intelligence in real-time video games
Tom Hastjarjanto, Johan Jeuring and Sean Leather
UU-CS-2012-011 pdf Feedback Genereren in Leeromgevingen voor Algebra
Johan Jeuring and Bastiaan Heeren
UU-CS-2012-010 pdf Ask-Elle: A Haskell tutor -- Demonstration --
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-009 pdf Generic conversions of abstract syntax rep- resentations
Steven Keuchel and Johan Jeuring
UU-CS-2012-008 pdf Testing Type Class Laws
Johan Jeuring, Patrik Jansson and Cláudio Amaral
UU-CS-2012-007 pdf Teachers and students in charge- Using annotated model solutions in a functional programming tutor-
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2012-005 pdf A Programming tutor for Haskell
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-004 pdf Type-and-Transform Systems
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2012-003 pdf Probability estimation and a competence model for rule based e-tutoring systems
Diederik M. Roijers, Johan Jeuring and Ad Feelders
UU-CS-2012-002 pdf An Interactive Functional Programming Tutor
Alex Gerdes, Johan Jeuring and Bastiaan Heeren
UU-CS-2011-031 pdf Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode
Ernst Koldenhof, Johan Jeuring, and Sandra Ruth
UU-CS-2011-030 pdf Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten
Josje Lodder and Johan Jeuring
UU-CS-2011-021 pdf Generic Programming for Indexed Datatypes
José Pedro Magalhães and Johan Jeuring
UU-CS-2011-020 pdf Comparing Datatype Generic Libraries in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C.D.S. Oliveira
UU-CS-2011-016 pdf Interleaving strategies
Bastiaan Heeren and Johan Jeuring
UU-CS-2010-028 pdf Properties of exercise strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
UU-CS-2010-023 pdf How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge
Rolf Biehler, Pascal R. Fischer, Reinhard Hochmuth, Johan Jeuring, Thomas Wassong
UU-CS-2010-017 pdf A generic deriving mechanism for Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
UU-CS-2010-016 pdf Generic selections of subexpressions
Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring
UU-CS-2010-011 pdf Adapting Mathematical Domain Reasoners
Bastiaan Heeren, Johan Jeuring
UU-CS-2010-008 pdf A Lightweight Approach to Datatype-generic Rewriting
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
UU-CS-2009-031 pdf Using Strategies for Assessment of Programming Exercises
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
UU-CS-2009-030 pdf An Interactive Exercise Player for Math-Bridge
Johan Jeuring, Bastiaan Heeren
UU-CS-2009-024 pdf Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.
Sean Leather, Andres Löh, Johan Jeuring
UU-CS-2009-022 pdf Optimizing Generics Is Easy!
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
UU-CS-2009-017 pdf Enumerating Well-Typed Terms Generically
Alexey Rodriguez Yakushev ,Johan Jeuring
UU-CS-2009-016 pdf Generic Programming for Domain Reasoners
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
UU-CS-2009-011 pdf Canonical Forms in Interactive Exercise Assistants.
Bastiaan Heeren, Johan Jeuring
UU-CS-2009-003 pdf Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Alex Gerdes
UU-CS-2009-001 pdf Geniaal programmeren - Generic programming at Utrecht
Johan Jeuring, Lambert Meertens
UU-CS-2008-049 pdf Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2008-025 pdf Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Magalhães, and Alexey Rodriguez Yakushev
UU-CS-2008-020 pdf A Lightweight Approach to Datatype-Generic Rewriting
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
UU-CS-2008-019 pdf Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
UU-CS-2008-018 pdf Feedback Services for Exercise Assistants
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman
UU-CS-2008-012 pdf Recognizing Strategies
Bastiaan Heeren and Johan Jeuring
UU-CS-2008-011 pdf The Generic Haskell user's guide, Version 1.80 - Emerald release
Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit
UU-CS-2008-010 pdf Comparing Libraries for Generic Programming in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera
UU-CS-2008-001 pdf Specifying Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen and Alex Gerdes
UU-CS-2007-036 pdf Feedback in exercise assistants
Johan Jeuring
UU-CS-2007-029 pdf Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh
UU-CS-2007-027 pdf Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh
UU-CS-2007-017 pdf A Generic Framework for Developing Exercise Assistants
Johan Jeuring, Harrie Passier, Sylvia Stuurman
UU-CS-2007-008 pdf Turning an interactive tool implemented in Haskell into a web application -- An experience report
Sylvia Stuurman and Johan Jeuring
UU-CS-2007-007 pdf Strategy Feedback in an E-learning Tool for Mathematical Exercises
Johan Jeuring and Wouter Pasman
UU-CS-2006-049 pdf The Generic Haskell user's guide, Version 1.60 - Diamond release
Andres Löh, Johan Jeuring, and Alexey Rodriguez (editors) et al.
UU-CS-2006-043 pdf Testing properties of generic functions
Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class
UU-CS-2006-040 pdf An interactive tool for manipulating logical formulae
Josje Lodder, Johan Jeuring, and Harrie Passier
UU-CS-2006-039 pdf Generating generic functions
Johan Jeuring, Alexey Rodriguez, and Gideon Smeding
UU-CS-2006-026 pdf Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, and Andres Löh
UU-CS-2006-025 pdf Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Frank Atanassow and Johan Jeuring
UU-CS-2006-024 pdf Generic Programming for Software Evolution
Johan Jeuring and Rinus Plasmeijer
UU-CS-2006-022 pdf Comparing approaches to generic programming in Haskell
Ralf Hinze, Johan Jeuring, Andres Löh
UU-CS-2006-021 pdf Feedback in an interactive equation solver
Harrie Passier and Johan Jeuring
UU-CS-2006-020 pdf Generic Views on Data Types
Stefan Holdermans, Johan Jeuring, Andres Löh and Alexey Rodriguez
UU-CS-2005-060 pdf Type Inference for Generic Haskell
Alexey Rodriguez, Johan Jeuring, Andres Löh
UU-CS-2005-012 pdf Generic Views on Data Types
Stefan Holdermans, Johan Jeuring and Andres L\"oh
UU-CS-2005-008 pdf Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding
Frank Atanassow and Johan Jeuring
UU-CS-2005-004 pdf Generic Haskell User's Guide -- Version 1.42 (Coral)
Andres Loeh, Johan Jeuring (editors); Dave Clarke, Ralf Hinze, Alexey Rodriguez, Jan de Wit
UU-CS-2003-023 ps.gz
pdf
Scripting XML with Generic Haskell
Frank Atanassow, Dave Clarke, Johan Jeuring
UU-CS-2003-022 pdf Dependency-style Generic Haskell
Andres Lö, Dave Clarke, and Johan Jeuring
UU-CS-2003-016 pdf Generic Haskell: Applications
Ralf Hinze and Johan Jeuring
UU-CS-2003-015 pdf Generic Haskell: Practice and Theory
Ralf Hinze and Johan Jeuring
UU-CS-2002-047 pdf The Generic Haskell User's Guide. Version 1.23 - Beryl release
David Clarke, Johan Jeuring, Andres Löh
UU-CS-2002-030 ps.gz
pdf
Combinators for layered software architectures
Martijn M. Schrage, Johan Jeuring, S. Doaitse Swierstra
UU-CS-2002-023 pdf Generic Programming for XML Tools
Johan Jeuring, Paul Hagg
UU-CS-2002-011 ps.gz
pdf
Type-indexed data types
Ralf Hinze, Johan Jeuring, Andres Löh
UU-CS-2002-009 ps.gz
pdf
Improving type-error messages in functional languages
Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer
UU-CS-2001-34 pdf Polytypic data conversion programs
P. Jansson, J. T. Jeuring
UU-CS-2001-33 pdf Functional Pearl. Weaving a Web
R. Hinze, J. T. Jeuring
UU-CS-2001-26 pdf The Generic Haskell User's Guide
D. Clarke, R. T. W. Hinze, J. T. Jeuring, A. Löh, J. de Wit
UU-CS-2000-19 ps.gz
pdf
Proceedings Workshop on Generic Programming (WGP2000)
J. T. Jeuring
UU-CS-1994-01 ps.gz
pdf
Bottom-up grammar analysis - A functional formulation
J. T. Jeuring, S. D. Swierstra
RUU-CS-90-03 pdf Algorithms from theorems
J. Jeuring

indexed (co) authors

author group
Atanassow, F. all reports Software Technology all reports
Azero Alcocer, P.R. all reports Software Technology all reports
Clarke, D.G. all reports Software Technology all reports
Dijkstra, dr. A. all reports Software Technology all reports
Dolstra, dr. E. all reports Software Technology all reports
Feelders, dr. A.J. all reports Algorithmic Data Analysis all reports
Gerdes, ir. A. all reports Software Technology all reports
Hage, dr. J. all reports Software Technology all reports
Heeren, dr. B.J. all reports Software Technology all reports
Hinze, dr. R.T.W. all reports Software Technology all reports
Holdermans, drs. S. all reports Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Lala, R. all reports Software Technology all reports
Leather, MSc S.P. all reports Software Technology all reports
Leeuwen, drs. A.J. van all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports
Magalhães, dr. ir. J.P. all reports Software Technology all reports
Meertens, prof. L.G.L.T. all reports Software Technology all reports
Middelkoop, dr. A. all reports Software Technology all reports
Milovanovic, MSc I. all reports Software Technology all reports
Noort, MSc T.R. van all reports Software Technology all reports
Pronost, dr. N.G. all reports Games and Virtual Worlds all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports
Schrage, dr. M.M. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2016009,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2016,
title = {Generating hints and feedback for Hilbert-style axiomatic proofs},
number = {UU-CS-2016-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016005,
author = {Jeuring, Johan and Corbalan, Gemma and Montfort, Joek~van and Es, Nienke~van and Leeuwestein, Hanneke},
year = 2016,
title = {Vorm en effect van Programmeeronderwijs in het primair onderwijs},
number = {UU-CS-2016-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016003,
author = {Milovanovic, Ivica and Jeuring, Johan},
year = 2016,
title = {The Automatic Generation of Knowledge Spaces From Problem Solving Strategies},
number = {UU-CS-2016-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016002,
author = {Lala, Raja and Jeuring, Johan and Dortmont, Jordy~van},
year = 2016,
title = {An implementation architecture for scenario-based simulations},
number = {UU-CS-2016-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016001,
author = {Keuning, Hieke and Jeuring, Johan and Heeren, Bastiaan},
year = 2016,
title = {Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version},
number = {UU-CS-2016-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015019,
author = {Gerdes, Alex and Heeren, Bastiaan and Binsbergen, Johan~Jeuring~andThomas~van},
year = 2015,
title = {Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback},
number = {UU-CS-2015-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015017,
author = {Smale, Stephanie~de and Overmans, Tom and Jeuring, Johan and Grint, Liesbeth~van~de},
year = 2015,
title = {The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review},
number = {UU-CS-2015-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015015,
author = {Jeuring, Johan},
year = 2015,
title = {Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education},
number = {UU-CS-2015-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015014,
author = {Alkemade, Thijs and Jeuring, Johan},
year = 2015,
title = {Type Class Instances for Type-Level Lambdas in Haskell},
number = {UU-CS-2015-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015012,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2015,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2015-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015009,
author = {Jeuring, Johan and Grosfeld, Frans and Heeren, Bastiaan and Hulsbergen, Michiel and IJntema, Richta and Jonker, Vincent and Mastenbroek, Nicole and Smagt, Maarten~van~der and Wijmans, Frank and Wolters, Majanne and Zeijts, Henk~van},
year = 2015,
title = {Demo: Communicate! — a serious game for communication skills},
number = {UU-CS-2015-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015007,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2015,
title = {A pilot study of the use of LogEx, lessons learned},
number = {UU-CS-2015-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014027,
author = {Jeuring, Johan},
year = 2014,
title = {Effectieve computerapplicaties: vergelijk de didactiek, niet het domein},
number = {UU-CS-2014-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014026,
author = {Keuning, Hieke and Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Strategy-based feedback in a programming tutor},
number = {UU-CS-2014-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014025,
author = {Jeuring, Johan and Binsbergen, Thomas~van and Gerdes, Alex and Heeren, Bastiaan},
year = 2014,
title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
number = {UU-CS-2014-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014021,
author = {Olmer, Tim and Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Evaluating Haskell expressions in a tutoring environment},
number = {UU-CS-2014-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014005,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Feedback services for stepwise exercises},
number = {UU-CS-2014-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013019,
author = {Vaessen, Bram and Prins, Frans and Jeuring, Johan},
year = 2013,
title = {University Students' Achievement Goals and Help-Seeking Strategies in an Intelligent Tutoring System},
number = {UU-CS-2013-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013018,
author = {Jeuring, Johan and Rooij, Rick~van and Pronost, Nicolas},
year = 2013,
title = {The 5/10 method: a method for designing educational games},
number = {UU-CS-2013-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013017,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2013,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2013-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013016,
author = {Jeuring, Johan},
year = 2013,
title = {Finding palindromes: variants and algorithms},
number = {UU-CS-2013-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013014,
author = {Bezirgiannis, Nikolaos and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {Usage of Generic Programming on Hackage — Experience report —},
number = {UU-CS-2013-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013012,
author = {Andre, Eric ́s and Heeren, Bastiaan and Jeuring, Johan},
year = 2013,
title = {Towards automatic generationof domain-specific mathematical input support},
number = {UU-CS-2013-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013011,
author = {Eekelen, Joeri~van and Leather, Sean and Jeuring, Johan},
year = 2013,
title = {Type-changing program transformations with pattern matching},
number = {UU-CS-2013-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013009,
author = {Gayo, Jose~Emilio~Labra and Jeuring, Johan and Rodríguez, Jose~María~Álvarez},
year = 2013,
title = {Inductive triple graphs: a purely functional approach to represent RDF},
number = {UU-CS-2013-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013008,
author = {Jeuring, Johan},
year = 2013,
title = {The history of finding palindromes},
number = {UU-CS-2013-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013003,
author = {Hastjarjanto, Tom and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {A DSL for describing the artificial intelligence in real-time video games},
number = {UU-CS-2013-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012011,
author = {Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {Feedback Genereren in Leeromgevingen voor Algebra},
number = {UU-CS-2012-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012010,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {Ask-Elle: A Haskell tutor -- Demonstration --},
number = {UU-CS-2012-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012009,
author = {Keuchel, Steven and Jeuring, Johan},
year = 2012,
title = {Generic conversions of abstract syntax rep- resentations},
number = {UU-CS-2012-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012008,
author = {Jeuring, Johan and Jansson, Patrik and Amaral, Cláudio},
year = 2012,
title = {Testing Type Class Laws},
number = {UU-CS-2012-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012007,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2012,
title = {Teachers and students in charge- Using annotated model solutions in a functional programming tutor-},
number = {UU-CS-2012-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012005,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {A Programming tutor for Haskell},
number = {UU-CS-2012-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012004,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2012,
title = {Type-and-Transform Systems},
number = {UU-CS-2012-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012003,
author = {Roijers, Diederik~M. and Jeuring, Johan and Feelders, Ad},
year = 2012,
title = {Probability estimation and a competence model for rule based e-tutoring systems},
number = {UU-CS-2012-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012002,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {An Interactive Functional Programming Tutor},
number = {UU-CS-2012-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011031,
author = {Koldenhof, Ernst and Jeuring, Johan and Ruth, Sandra},
year = 2011,
title = {Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode},
number = {UU-CS-2011-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011030,
author = {Lodder, Josje and Jeuring, Johan},
year = 2011,
title = {Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten},
number = {UU-CS-2011-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011021,
author = {Magalhães, José~Pedro and Jeuring, Johan},
year = 2011,
title = {Generic Programming for Indexed Datatypes},
number = {UU-CS-2011-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011020,
author = {Yakushev, Alexey~Rodriguez and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliveira, Bruno~C.D.S.},
year = 2011,
title = {Comparing Datatype Generic Libraries in Haskell},
number = {UU-CS-2011-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011016,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2011,
title = {Interleaving strategies},
number = {UU-CS-2011-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010028,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Properties of exercise strategies},
number = {UU-CS-2010-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010023,
author = {Biehler, Rolf and Fischer, Pascal~R. and Hochmuth, Reinhard and Jeuring, Johan and Wassong, Thomas},
year = 2010,
title = {How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge},
number = {UU-CS-2010-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010017,
author = {Magalhães, José~Pedro and Dijkstra, Atze and Jeuring, Johan and Löh, Andres},
year = 2010,
title = {A generic deriving mechanism for Haskell},
number = {UU-CS-2010-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010016,
author = {Steenbergen, Martijn~van and Magalhães, José~Pedro and Jeuring, Johan},
year = 2010,
title = {Generic selections of subexpressions},
number = {UU-CS-2010-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Adapting Mathematical Domain Reasoners},
number = {UU-CS-2010-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010008,
author = {Noort, Thomas~van and Yakushev, Alexey~Rodriguez and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalhães, José~Pedro},
year = 2010,
title = {A Lightweight Approach to Datatype-generic Rewriting},
number = {UU-CS-2010-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009031,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {Using Strategies for Assessment of Programming Exercises},
number = {UU-CS-2009-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009030,
author = {Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {An Interactive Exercise Player for Math-Bridge},
number = {UU-CS-2009-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009024,
author = {Leather, Sean and Löh, Andres and Jeuring, Johan},
year = 2009,
title = {Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.},
number = {UU-CS-2009-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009022,
author = {Magalhães, José~Pedro and Holdermans, Stefan and Jeuring, Johan and Löh, Andres},
year = 2009,
title = {Optimizing Generics Is Easy!},
number = {UU-CS-2009-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009017,
author = {Jeuring, Alexey~Rodriguez~Yakushev~,Johan},
year = 2009,
title = {Enumerating Well-Typed Terms Generically},
number = {UU-CS-2009-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009016,
author = {Jeuring, Johan and Magalhães, José~Pedro and Heeren, Bastiaan},
year = 2009,
title = {Generic Programming for Domain Reasoners},
number = {UU-CS-2009-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2009,
title = {Canonical Forms in Interactive Exercise Assistants.},
number = {UU-CS-2009-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009003,
author = {Heeren, Bastiaan and Jeuring, Johan and Gerdes, Alex},
year = 2009,
title = {Strategies for Exercises},
number = {UU-CS-2009-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009001,
author = {Jeuring, Johan and Meertens, Lambert},
year = 2009,
title = {Geniaal programmeren - Generic programming at Utrecht},
number = {UU-CS-2009-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008049,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Constructing Strategies for Programming},
number = {UU-CS-2008-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008025,
author = {Jeuring, Johan and Leather, Sean and Magalhães, José~Pedro and Rodriguez~Yakushev, Alexey},
year = 2008,
title = {Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008020,
author = {Noort, Thomas~van and Rodriguez, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan},
year = 2008,
title = {A Lightweight Approach to Datatype-Generic Rewriting},
number = {UU-CS-2008-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008019,
author = {Rodriguez, Alexey and Holdermans, Stefan and Löh, Andres and Jeuring, Johan},
year = 2008,
title = {Generic programming with fixed points for mutually recursive datatypes},
number = {UU-CS-2008-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008018,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan and Stuurman, Sylvia},
year = 2008,
title = {Feedback Services for Exercise Assistants},
number = {UU-CS-2008-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008012,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Recognizing Strategies},
number = {UU-CS-2008-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008011,
author = {Löh, Andres and Jeuring, Johan and Noort, Thomas~van and Rodriguez, Alexey and Clarke, Dave and Hinze, Ralf and Wit, Jan~de},
year = 2008,
title = {The Generic Haskell user's guide, Version 1.80 - Emerald release},
number = {UU-CS-2008-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008010,
author = {Rodriguez~Yakushev, Alexey and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliviera, Bruno~C.~d.~S.},
year = 2008,
title = {Comparing Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008001,
author = {Heeren, Bastiaan and Jeuring, Johan and Leeuwen, Arthur~van and Gerdes, Alex},
year = 2008,
title = {Specifying Strategies for Exercises},
number = {UU-CS-2008-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007036,
author = {Jeuring, Johan},
year = 2007,
title = {Feedback in exercise assistants},
number = {UU-CS-2007-036},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-036.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007029,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007027,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007017,
author = {Jeuring, Johan and Passier, Harrie and Stuurman, Sylvia},
year = 2007,
title = {A Generic Framework for Developing Exercise Assistants},
number = {UU-CS-2007-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007008,
author = {Stuurman, Sylvia and Jeuring, Johan},
year = 2007,
title = {Turning an interactive tool implemented in Haskell into a web application -- An experience report},
number = {UU-CS-2007-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007007,
author = {Jeuring, Johan and Pasman, Wouter},
year = 2007,
title = {Strategy Feedback in an E-learning Tool for Mathematical Exercises},
number = {UU-CS-2007-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006049,
author = {Löh, Andres and Jeuring, Johan and Rodriguez, Alexey (editors)~et~al.},
year = 2006,
title = {The Generic Haskell user's guide, Version 1.60 - Diamond release},
number = {UU-CS-2006-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006043,
author = {Jansson, Patrik and Jeuring, Johan and Programming, students~of~the~Utrecht~University~Generic class},
year = 2006,
title = {Testing properties of generic functions},
number = {UU-CS-2006-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006040,
author = {Lodder, Josje and Jeuring, Johan and Passier, Harrie},
year = 2006,
title = {An interactive tool for manipulating logical formulae},
number = {UU-CS-2006-040},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-040.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006039,
author = {Jeuring, Johan and Rodriguez, Alexey and Smeding, Gideon},
year = 2006,
title = {Generating generic functions},
number = {UU-CS-2006-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006026,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Typed Contracts for Functional Programming},
number = {UU-CS-2006-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006025,
author = {Atanassow, Frank and Jeuring, Johan},
year = 2006,
title = {Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell},
number = {UU-CS-2006-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006024,
author = {Jeuring, Johan and Plasmeijer, Rinus},
year = 2006,
title = {Generic Programming for Software Evolution},
number = {UU-CS-2006-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006022,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Comparing approaches to generic programming in Haskell },
number = {UU-CS-2006-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006021,
author = {Passier, Harrie and Jeuring, Johan},
year = 2006,
title = {Feedback in an interactive equation solver},
number = {UU-CS-2006-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006020,
author = {Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Rodriguez, Alexey},
year = 2006,
title = {Generic Views on Data Types},
number = {UU-CS-2006-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005060,
author = {Rodriguez, Alexey and Jeuring, Johan and Löh, Andres},
year = 2005,
title = {Type Inference for Generic Haskell},
number = {UU-CS-2005-060},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-060.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005012,
author = {Holdermans, Stefan and Jeuring, Johan and L\"oh, Andres},
year = 2005,
title = {Generic Views on Data Types},
number = {UU-CS-2005-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005008,
author = {Atanassow, Frank and Jeuring, Johan},
year = 2005,
title = {Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding},
number = {UU-CS-2005-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005004,
author = {Loeh, Andres and Clarke, Johan~Jeuring~(editors);~Dave and Hinze, Ralf and Rodriguez, Alexey and Wit, Jan~de},
year = 2005,
title = {Generic Haskell User's Guide -- Version 1.42 (Coral)},
number = {UU-CS-2005-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003023,
author = {Atanassow, Frank and Clarke, Dave and Jeuring, Johan},
year = 2003,
title = {Scripting XML with Generic Haskell},
number = {UU-CS-2003-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-023.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003022,
author = {Lö, Andres and Clarke, Dave and Jeuring, Johan},
year = 2003,
title = {Dependency-style Generic Haskell},
number = {UU-CS-2003-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003016,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Applications},
number = {UU-CS-2003-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003015,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Practice and Theory},
number = {UU-CS-2003-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002047,
author = {Clarke, David and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {The Generic Haskell User's Guide. Version 1.23 - Beryl release},
number = {UU-CS-2002-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002030,
author = {Schrage, Martijn~M. and Jeuring, Johan and Swierstra, S.~Doaitse},
year = 2002,
title = {Combinators for layered software architectures},
number = {UU-CS-2002-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-030.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002023,
author = {Jeuring, Johan and Hagg, Paul},
year = 2002,
title = {Generic Programming for XML Tools},
number = {UU-CS-2002-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002011,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {Type-indexed data types},
number = {UU-CS-2002-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002009,
author = {Heeren, Bastiaan and Jeuring, Johan and Swierstra, Doaitse and Azero~Alcocer, Pablo},
year = 2002,
title = {Improving type-error messages in functional languages},
number = {UU-CS-2002-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-009.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200134,
author = {Jansson, P. and Jeuring, J.~T.},
year = 2001,
title = {Polytypic data conversion programs},
number = {UU-CS-2001-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200133,
author = {Hinze, R. and Jeuring, J.~T.},
year = 2001,
title = {Functional Pearl. Weaving a Web},
number = {UU-CS-2001-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200126,
author = {Clarke, D. and Hinze, R.~T.~W. and Jeuring, J.~T. and Löh, A. and Wit, J.~de},
year = 2001,
title = {The Generic Haskell User's Guide},
number = {UU-CS-2001-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200019,
author = {Jeuring, J.~T.},
year = 2000,
title = {Proceedings Workshop on Generic Programming (WGP2000)},
number = {UU-CS-2000-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-19.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199401,
author = {Jeuring, J.~T. and Swierstra, S.~D.},
year = 1994,
title = {Bottom-up grammar analysis - A functional formulation},
number = {UU-CS-1994-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9003,
author = {Jeuring, J.},
year = 1990,
title = {Algorithms from theorems},
number = {RUU-CS-90-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-03.pdf}},
pubcat = {techreport}
}