scientific article; zbMATH DE number 2060756

zbMATH Open1040.03506MaRDI QIDQ4458488FDOQ4458488

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

Publication date: 18 March 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

subtypingtype systemtype soundnessLambda Calculus of Objects

Mathematics Subject Classification ID

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

Cited In (9)

• Non-local configuration of component interfaces by constraint satisfaction
• Title not available (Why is that?)
• A typed lambda calculus of objects (extended abstract)
• Title not available (Why is that?)
• Theoretical Computer Science
• Delegation by object composition
• Extending FeatherTrait Java with interfaces
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Title not available (Why is that?)

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)