A BRICS Mini-Course
August 14-17, 1995
Courant Institute, New York University
This minicourse will discuss how types and transformations can be used to integrate algorithm design and analysis, program development, and high level compilation of set theoretic programming languages.
Further details of the course including references and homeworks can be found here.