-calculus semantics of functional programming language FFP

zbMATH Open0712.68016MaRDI QIDQ749201FDOQ749201

Authors: Mingde Jiang, Jianfu Liu 

Publication date: 1990

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

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

zbMATH Keywords

FFPfunctional programming languagesgamma-omega-calculusmetacomposition rule

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)