scientific article; zbMATH DE number 3748392

MaRDI QIDQ3932276zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

abstract datacomputer architecturecontrol flowdata flowdenotational semanticseuclidKent Recursive CalculusKRCLISPpoplarrecursive procedurestype abstraction

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18)

Cited in

(8)

• Dataflow computing and Eager and Lazy evaluations
• Derivation of logic programs by functional methods
• Algebraic languages for mathematical programming
• Rules + strategies for transforming lazy functional logic programs
• fsh—A functional unix command interpreter
• Recursion equations as a programming language
• A local termination property for term rewriting systems
• Folding left and right matters: Direct style, accumulators, and continuations

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