scientific article; zbMATH DE number 2038713

zbMATH Open1039.68541MaRDI QIDQ4449178FDOQ4449178

Authors: Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca 

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190224.htm

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

Recommendations

• Mixin modules
• COMULTIPLICATION MODULES AND RELATED RESULTS
• Comultiplication modules
• Trustworthy Global Computing
• Experiments with mixed computations
• An algebraic approach to mixins and modularity
• Functional and Logic Programming
• Some results on comultiplication modules
• From partial evaluation to mixed computation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Types for Proofs and Programs
• An abstract monadic semantics for value recursion

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 Q4449178)