scientific article; zbMATH DE number 2060756

MaRDI QIDQ4458488zbMATH OpenFDO

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

Publication date 18 March 2004

zbMATH Keywords

Lambda Calculus of Objectssubtypingtype soundnesstype system

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
• scientific article; zbMATH DE number 1390057
• A delegation-based object calculus with subtyping

Cited in

(11)

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

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)