Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
International Symposium on Theoretical Programming
Programming Languages and Systems - ESOP '94 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
Recent Trends in Data Type Specification 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers
Recent Trends in Data Type Specification 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers