Dynamic overloading with copy semantics in object-oriented languages: a formal account
From MaRDI portal
Publication:5321777
DOI10.1051/ita/2009008zbMath1175.68094MaRDI QIDQ5321777
Sara Capecchi, Lorenzo Bettini, Betti Venneri
Publication date: 15 July 2009
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=ITA_2009__43_3_517_0/
type systems; typed lambda calculus; multi-methods; object-oriented languages; dynamic overloading; copy semantics
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
Uses Software
Cites Work
- A semantics of multiple inheritance
- A syntactic approach to type soundness
- A meta-language for typed object-oriented languages
- Modular statically typed multimethods
- A calculus for overloaded functions with subtyping
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item