scientific article
From MaRDI portal
Publication:3932276
zbMath0476.68008MaRDI QIDQ3932276
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticsrecursive procedurescomputer architecturecontrol flowdata flowLISPtype abstractionKRCabstract dataeuclidKent Recursive Calculuspoplar
Functional programming and lambda calculus (68N18) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (8)
Dataflow computing and Eager and Lazy evaluations ⋮ Rules + strategies for transforming lazy functional logic programs ⋮ A local termination property for term rewriting systems ⋮ Recursion Equations as a Programming Language ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ Derivation of logic programs by functional methods ⋮ fsh—A functional unix command interpreter ⋮ Algebraic languages for mathematical programming
This page was built for publication:
