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.
• Using the Fran system for functional reactive animation in various different ways.
• Investigating links between constructive type theories and computer algebra.