scientific article; zbMATH DE number 177785

MaRDI QIDQ4038663zbMATH OpenFDO

Authors Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman

Publication date 18 May 1993

zbMATH Keywords

Lamping's programming systemparametrizations

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Parametric parameter passing \(\lambda\)-calculus
• The parametric lambda calculus. A metamodel for computation.
• A syntactic theory of sequential state
• A syntactic theory of sequential control
• scientific article; zbMATH DE number 2086242

Cited in

(1)

• scientific article; zbMATH DE number 4157860 (Why is no real title available?)

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