Notes on typed object-oriented programming

DOI10.1007/3-540-57887-0_128MaRDI QIDQ4490764zbMATH OpenFDO

Authors Kathleen Fisher, John Mitchell

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_128

Mathematics Subject Classification ID

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

Cited in

(4)

• Termination of system F-bounded: A complete proof
• A delegation-based object calculus with subtyping
• Type system in programming languages
• A calculus for concurrent objects

This page was built for publication: Notes on typed object-oriented programming

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