Abstract types and the dot notation (1990)

by Luca Cardelli, Xavier Leroy
Venue:Proceedings IFIP TC2 working conference on programming concepts and methods