Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Johan Jeuring
Generic programming. We have developed Generic Haskell.
Generic Haskell an extension of the functional programming language Haskell, with which programs
that work for large classes of datatypes can be written. Generic haskell is a sequel to PolyP
(see Patrik Jansson's page about
polytypic programming). Currently we are
working on several aspects of generic programming, such as testing, type inference, generic
programming libraries, etc.
At Utrecht University and the Open University we are working on
Software Technology for Educational Software.
In particular, we are working on intelligent feedback in
e-learning systems. Some of this work is done in the context of the Surf-project on intelligent
feedback.
List of Publications
My list of publications, and links to some of my papers can be found
here.
Patrik Jansson,
Chalmers, MSc (1995): Polytypism and polytypic unification,
Lic (1997): Functional Polytypic Programming - Use and Implementation,
PhD (2000): Functional Polytypic Programming
Andres Löh,
UU, PhD (2004): Exploring Generic Haskell
Jan-Willem Roorda,
UU, MSc (2000): Pure Type Systems for Functional Programming
Martijn Schrage,
UU, PhD (2004): Proxima: a presentation-oriented editor for structured documents
Danny van Velzen, UU, MSc (2001) An XSLT implementation in Haskell.
Jan de Wit, UU, MSc (2002) A technical overview of Generic Haskell
At the Open University I (have) supervise(d) another 20 MSc students. Their
names and theses can be found on the OU site
(for which you need a login and a password).
Teaching
Courses
This academic year I teach the following courses:
Grammars and parsing.
Second year course at Utrecht University. November 2007 - February 2008.
Generic Programming.
Fourth/fifth year course at Utrecht University. April - July 2008.
MSc topics
You can find a number of suggestions for topics on which you can write
your MSc thesis on the nomepage of the
Software Technology group.
Besides these topics, it is always possible to write a thesis on topics
that lie within my current research, such as generic programming and
Generic Haskell, XML tools and generic programming, type systems, editors,
exercise assistants, e-learning tools, etc.
I supervised the Master's theses of about ten students, they appear
under former research students above.