scientific article; zbMATH DE number 1538035

MaRDI QIDQ4518890zbMATHFDO

Authors J. B. Wells, René Vestergaard

Publication date 20 May 2001

zbMATH Keywords

\(\lambda\)-calculus\(m\)-calculus

Mathematics Subject Classification ID

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

Recommendations

• A calculus of module systems
• scientific article; zbMATH DE number 1538030
• A calculus of open modules: call-by-need strategy and confluence
• Theoretical Computer Science
• Modules, abstraction, and parametric polymorphism

Cited in

(8)

• scientific article; zbMATH DE number 1538030 (Why is no real title available?)
• The mechanisation of Barendregt-style equational proofs (the residual perspective)
• A typed context calculus
• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• A flexible model for dynamic linking in Java and C\#
• A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.
• Computational soundness of a call by name calculus of recursively-scoped records
• A calculus of module systems

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