Department of Information and Computing Sciences

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

master theses

see also


Johan Jeuring


19 theses
thesis full
author / title / supervisors
INF/SCR-2012-026 pdf 2012 Hidde Verstoep, Counting analyses
dr. Jurriaan Hage, prof. dr. Johan Jeuring (0:0)
INF/SCR-2012-010 pdf 2012 Jurriën Stutterheim, Contract Inferencing for Functional Programs
prof. dr. Johan Jeuring
INF/SCR-2010-114 pdf 2010 Remy Willems, Compiler Optimizations for Database Programming Languages
prof. dr. Johan Jeuring
INF/SCR-2010-111 pdf 2010 Steven Keuchel, Generic Programming with binders and scope
prof. dr. Johan Jeuring
INF/SCR-2010-052 no pdf 2010 Diederik Roijers, Probability estimation and competence models for rule and strategy based e-tutoring systems
dr. Ad Feelders, prof. dr. Johan Jeuring (0:0)
INF/SCR-2009-099 pdf 2009 Peter van de Werken, IDEAS: Improving the functional programming domain
ir. Alex Gerdes, prof. dr. Johan Jeuring (0:0)
INF/SCR-2009-061 pdf 2009 Martijn van Steenbergen, Generic selections of subexpressions
prof. dr. Johan Jeuring, dr. ir. José Pedro Magalhães (0:0)
INF/SCR-2009-020 no pdf 2009 Erik Hesselink, Generic programming with fixed points for parametrized datatypes
prof. dr. Johan Jeuring
INF/SCR-2007-013 no pdf 2007 Eric Bouwers, Improving Automated Feedback, Building a Generic Rule-Feedback Generator
prof. dr. Johan Jeuring
INF/SCR-2007-012 no pdf 2007 Thomas van Noort, Generic Views for Generic Types
prof. dr. Johan Jeuring
INF/SCR-2004-67 no pdf 2004 Holdermans S. , Generic Views
prof. dr. Johan Jeuring
INF/SCR-2004-50 no pdf 2004 Groot B., Implementing Traits in Java
prof. dr. Johan Jeuring
INF/SCR-2004-29 no pdf 2004 Korndewal R., Voice Over IP diagnosis
prof. dr. Johan Jeuring, drs. Piet van Oostrum (0:0)
INF/SCR-2002-06 no pdf 2002 Hagg P.W., A framework for developing generic XML tools
prof. dr. Johan Jeuring
INF/SCR-2002-03 no pdf 2002 Wit J. de, A technical overview of generic Haskell
prof. dr. Johan Jeuring
INF/SCR-2001-26 no pdf 2001 Velzen D. van, An XSLT implementation in Haskell
prof. dr. Johan Jeuring
INF/SCR-2000-14 no pdf 2000 Heeren B., Improving type-error messages in functional languages
prof. dr. Johan Jeuring, prof. dr. (em.) Doaitse Swierstra (0:0)
INF/SCR-2000-13 no pdf 2000 Roorda J.W., Pure type systems for functional programming
prof. dr. Johan Jeuring
INF/SCR-1999-02 no pdf 1999 Halenbeek J., Comparing Approaches to Polytypic Programming
prof. dr. Johan Jeuring, prof. Lambert Meertens (0:0)