Notice

The website of Tom Schrijvers has moved to http://people.cs.kuleuven.be/~tom.schrijvers. Please adjust any links you maintain as this copy will be taken down shortly.


Onderwijs

Ben je op zoek naar een onderwerp voor een masterproef en heb je interesse in programmeertalen? Neem dan contact op.

Alexander Vandenbroucke De tabulatie-monad 2014-2015 KU Leuven
Jasper van der Jeugt Automatische detectie van recursiepatronen 2012-2013 UGent
Kenneth Saey Een domein-specieke taal in Scala voor collectible card games 2012-2013 UGent
Matthias Delbar Een parallel framework voor Genetische Algoritmen in Haskell 2012-2013 UGent
Thomas Winant Partiële typesignaturen voor Haskell 2012-2013 KU Leuven
Benoit Desouter Modulaire zoekheuristieken in Scala 2011-2012 UGent
Jens Raeymakers Datalog 2.0 2010-2011 KU Leuven
Timmy Weytjens Een systematische test-case generator voor Haskell 2008-2009 KU Leuven
Jan van den Boom H2M: Haskell naar Mercury compiler 2007-2009 KU Leuven
Tim Boven Java 1.6 Prolog scripttaal extensie 2007-2008 KU Leuven
Koen Plasmans Dali: een standaard data structure library voor Prolog 2006-2007 KU Leuven
Pieter Wuille CCHR: de snelste implementatie van CHR 2006-2007 KU Leuven
Wouter Beckers Een compiler van Featherweight Java in CHR 2006-2007 KU Leuven
Dean Voets Terminatie-analyse voor CHR-programma's 2006-2007 KU Leuven
Wouter Coekaerts Java-analyse in Prolog: bestaande code generisch maken 2005-2007 KU Leuven
Dieter Boesmans HTML-layout in CLP 2004-2005 KU Leuven
Leslie De Koninck Constraint Solvers voor SWI-Prolog 2004-2005 KU Leuven
Peter Van Weert Constraint Programming in Java: een efficiënt CHR-systeem in Java 2004-2005 KU Leuven
Pieter Valcke Constraint solvers voor hProlog 2003-2004 KU Leuven