The Fourth International Workshop on Foundations of Object-Oriented Languages


18 January, 1997

La Sorbonne, Paris, France

Following POPL '97

While object-oriented programming languages have swept the programming community over the last decade, it has taken longer for the language theory community to develop sound theoretical foundations for these languages. However, work over the last several years has provided a better understanding of the key concepts of object-oriented languages and has led to important developments in the type theory, semantics, and verification of object-oriented languages. The FOOL workshops bring together researchers to share new ideas and results.

FOOL 4 will take place on 18 January, 1997, the day following POPL '97. Eight contributed papers will be presented; in addition, there will be two invited talks:

To register for the workshop, use the standard POPL registration form, available through or


LOCAL ARRANGEMENTS CHAIR: Correspondence and questions should be sent to

Return to the FOOL 4 home page.