The recursive record semantics of objects revisited

DOI10.1017/S0956796803004775MaRDI QIDQ4669643zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1692945
• scientific article; zbMATH DE number 1251179
• scientific article; zbMATH DE number 1104379
• scientific article; zbMATH DE number 814798
• Well-founded recursion over contextual objects
• Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles
• A recursive object algebra based on aggregation abstraction for manipulating complex objects
• scientific article; zbMATH DE number 1377611
• Difunctorial semantics of object calculus

Cited in

(4)

• Path resolution for nested recursive modules
• scientific article; zbMATH DE number 1692945 (Why is no real title available?)
• Compilation of extended recursion in call-by-value functional languages
• An abstract monadic semantics for value recursion

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4669643)