A proposal for making eiffel type safe (1989)

by W Cook
Venue:In Proceedings of the Third European Conference on Object-Oriented Programming (ECOOP'89