
Contact 
email: 


Affiliations
I am Professor Emeritus at
Utrecht University.
Before coming to Kestrel Institute, I worked at
CWI, Amsterdam.
I am a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
Publications
Research Activities (not up to date)
Sensor Networks, Adhoc Wireless Networks, Distributed Coordination, TimeAware Dynamic Scheduling
Application Integration, XML, Generic Editors
Generic Programming and Squiggol
 Calculemus Igitur!.
Presented at The Fun of Programming,
a Symposium in honour of Richard Bird’s 60th birthday.
 Generic Programming – An Introduction (PS) (with Roland Backhouse, Patrik Jansson and Johan Jeuring).
Advanced Functional Programming (S. Doaitse Swierstra, editor), LNCS 1608, pp. 28115, 1999.
 Nested Datatypes (PS) (with Richard Bird).
An investigation into the calculational theory of “nested” (nonregular) datatypes such as
data Nest a = NilN  ConsN(a, Nest(a, a)).
Mathematics of Program Construction, MPC'98 (Johan Jeuring, editor), LNCS 1422, pp. 52–67, 1998.
 Functor Pulling (PS).
Polytypic functor swap by canned induction on regular functors, generalizing polytypic crush.
Proceedings of the International Workshop on Generic Programming (WGP'98),
Marstrand, Sweden, June 1998.
 Calculate Polytypically! (PS)
Programming Languages: Implementations Logics, and Programs,
Proceedings PLILP ‘96 (Herbert Kuchen and S. Doaitse Swierstra, editors), LNCS 1140, pp. 1–16, 1996.
 Category Theory for Program Construction.
Lecture Notes for ESSLLI ‘95, Barcelona, Catalunya.
Program Derivation, Synthesis and Generation
Mescal, UserInteractionWare
Constraints and Lattices