scientific article; zbMATH DE number 2060756

MaRDI QIDQ4458488zbMATHFDO

Authors Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

Publication date 18 March 2004

zbMATH Keywords

subtypingtype systemtype soundnessLambda Calculus of Objects

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1114038
• scientific article; zbMATH DE number 720178
• scientific article; zbMATH DE number 2079015
• Publication:4934322
• A delegation-based object calculus with subtyping

Cited in

(9)

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Delegation by object composition
• Non-local configuration of component interfaces by constraint satisfaction
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• scientific article; zbMATH DE number 1390057 (Why is no real title available?)
• scientific article; zbMATH DE number 1420792 (Why is no real title available?)
• Extending FeatherTrait Java with interfaces
• Theoretical Computer Science
• A typed lambda calculus of objects (extended abstract)

This page was built for publication:

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