Functional programming interests
My current functional programming interests include
Proof for functional programming
; a chapter to appear in
Research directions in parallel functional programming, K. Hammond and G. Michaelson (eds.)
to appear later in 1999.
system for functional reactive animation in
various different ways
links between constructive type theories and computer algebra
Created 16 March 1999.