The recursive record semantics of objects revisited

DOI10.1017/S0956796803004775zbMath1088.68036MaRDI QIDQ4669643

Gérard Boudol

Publication date: 15 April 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

object-oriented programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

Compilation of extended recursion in call-by-value functional languages ⋮ Path resolution for nested recursive modules ⋮ An abstract monadic semantics for value recursion

This page was built for publication: The recursive record semantics of objects revisited