Login / Signup

Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types.

Didier Rémy
Published in: TACS (1994)
Keyphrases