scientific article; zbMATH DE number 3942987

MaRDI QIDQ3713558zbMATH OpenFDO

Authors P. Bellot

Publication date 1986

zbMATH Keywords

functional programming systemsGRAALpolyadic combinatorsprogramming languageuncurryfied combinators

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1086663
• Functional programming framework for \textit{GRworkbench}
• scientific article; zbMATH DE number 4096777
• scientific article; zbMATH DE number 3846829
• scientific article; zbMATH DE number 969070
• The Rewriting Calculus as a Combinatory Reduction System
• Theoretical Computer Science
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting

Cited in

(6)

• Functional programming framework for \textit{GRworkbench}
• Grail: a functional form for imperative mobile code
• scientific article; zbMATH DE number 4016174 (Why is no real title available?)
• scientific article; zbMATH DE number 3917684 (Why is no real title available?)
• scientific article; zbMATH DE number 3980453 (Why is no real title available?)
• Proposal for a natural formalization of functional programming concepts

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