-calculus semantics of functional programming language FFP

MaRDI QIDQ749201zbMATH OpenFDO

Authors Mingde Jiang, Jianfu Liu

Publication date 1990

Published in Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

FFPfunctional programming languagesgamma-omega-calculusmetacomposition rule

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3856378
• An extension of lambda-calculus for functional programming
• Notions of computation and monads
• A foundation for higher-order concurrent constraint programming
• scientific article; zbMATH DE number 1088220

Cited in

(1)

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

This page was built for publication: \(\gamma\) \(\omega\)-calculus semantics of functional programming language FFP

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