The recursive record semantics of objects revisited (0)

by G Boudol
Venue:Research report 4199, INRIA, 2001. Preliminary version presented at ESOP’01, LNCS 2028