Abstract types and the dot notation (1990)

by Luca Cardelli , Xavier Leroy
Venue:Proceedings IFIP TC2 working conference on programming concepts and methods
Citations:55 - 5 self