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 [107], plus a drawing by Luca Cardelli

[ bib | At publisher's site ] Back

This file was generated by bibtex2html 1.99.