cardelli90

Luca Cardelli. Algorithm for subtyping recursive types (in Modula-3). http://research.microsoft.com/research/cambridge/luca/Notes/RecSub.txt, 1993.

Keyword

[ Rectype ]

Contact

L. Cardelli

BibTex Reference

@Misc{cardelli90,
   Author = {Cardelli, Luca},
   Title = {Algorithm for subtyping recursive types (in {Modula}-3)},
   Howpublished = {{http://research.microsoft.com/research/cambridge/luca/Notes/RecSub.txt}},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)