Mixin modules and computational effects

DOI10.1007/3-540-45061-0_20MaRDI QIDQ4449178zbMATH OpenFDO

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

Publication date 8 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

This page was built for publication: Mixin modules and computational effects

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