Luca Cardelli and Xavier Leroy. Abstract types and the dot notation. Research report 56, Digital Equipment Corporation, Systems Research Center, 1990.

Same technical contents as the conference paper [86], plus a drawing by Luca Cardelli

bib | At publisher's ] Back


This file was generated by bibtex2html 1.97.