scientific article; zbMATH DE number 1538035

zbMATH Open0960.68037MaRDI QIDQ4518890FDOQ4518890

Authors: J. B. Wells, René Vestergaard 

Publication date: 20 May 2001

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (8)

• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• Title not available (Why is that?)
• A typed context calculus
• 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.
• The mechanisation of Barendregt-style equational proofs (the residual perspective)
• 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)