Contributions offered by Peter Thiemann for topics 
E (automatic program transformation)

I would like to give a brief presentation of my ideas on 
specifying the semantics of program specialization using
type theory.

--------------------------------------------------------------
Result of feedback form submitted by
Thiemann (pjt@cs.nott.ac.uk) on Thursday, July 16, 1998 at 10:42:3