scientific article; zbMATH DE number 1472273

MaRDI QIDQ4489990zbMATH OpenFDO

Authors Mario Blažević, Z. Budimac, Mirjana Ivanović

Publication date 9 July 2000

zbMATH Keywords

\(\lambda_E\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 683360
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Multi-paradigm Declarative Languages
• An operational semantics for declarative multi-paradigm languages
• Operational semantics for declarative multi-paradigm languages
• scientific article; zbMATH DE number 2172811
• scientific article; zbMATH DE number 1950450
• Environmental bisimulations for probabilistic higher-order languages
• Multiparadigm Constraint Programming Languages
• scientific article; zbMATH DE number 3856436

Cited in

(2)

• Formal specification of a graph rewriting system with environments
• Analyzing the environment structure of higher-order languages using frame strings

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