Login / Signup

The recursive record semantics of objects revisited.

Gérard Boudol
Published in: J. Funct. Program. (2004)
Keyphrases