Ierusalimschy, Roberto A denotational approach for type-checking in object-oriented programming languages. Monografias em Ciencia da Computado 12/92, PUC-Rio, Rio de Janeiro, Brazil, 1992.
(1992)
Languages mentioned
School
{1990}