technical reports : prof. dr. J.T. Jeuring
select other reports
this selection
reports (65)
| techrep_id |
file |
title / author |
| UU-CS-2012-002 |
not
online |
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 |
| 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 |
| 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 |
| 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, 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 |
| Noort, MSc T.R. van |
all reports |
software technology |
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. S.D. |
all reports |
software technology |
all reports |
BibTeX entries
@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},
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}
}
webmaster@cs.uu.nl,
Sun, 05 Feb 2012 18:32:33 +0100
←
Departement Informatica, Universiteit Utrecht
