3260 Hillview Avenue
I am Professor Emeritus at
Before coming to Kestrel Institute, I worked at
I am a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
Research Activities (not up to date)
Sensor Networks, Ad-hoc Wireless Networks, Distributed Coordination, Time-Aware 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. 28-115, 1999.
- Nested Datatypes (PS) (with Richard Bird).
An investigation into the calculational theory of “nested” (non-regular) 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
Constraints and Lattices