scientific article; zbMATH DE number 1086663

MaRDI QIDQ4362913zbMATH OpenFDO

Authors Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer

Publication date 17 March 1998

zbMATH Keywords

lambda calculusterm graph rewriting systemslazy functional language

Mathematics Subject Classification ID

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

Cited in

(13)

• LEAN: An intermediate language based on graph rewriting
• scientific article; zbMATH DE number 3942987 (Why is no real title available?)
• Functional programming framework for \textit{GRworkbench}
• Parallel graph rewriting on loosely coupled machine architectures
• Inductive graphs and functional graph algorithms
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• Graph rewriting for the π-calculus
• scientific article; zbMATH DE number 4030948 (Why is no real title available?)
• Functional programming with graphs
• scientific article; zbMATH DE number 7020157 (Why is no real title available?)
• On graph rewriting, reduction, and evaluation in the presence of cycles
• An extension of lambda-calculus for functional programming
• scientific article; zbMATH DE number 1617319 (Why is no real title available?)

Describes a project that uses

Uses Software

• CLEAN
• Miranda

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