scientific article
From MaRDI portal
Publication:3911367
zbMath0461.68023MaRDI QIDQ3911367
David S. Wise, Daniel P. Friedman
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
An incremental primal sieve ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Partial parametrization eliminates multiple traversals of data structures ⋮ Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs ⋮ Functional programming with combinators ⋮ Super-naturals ⋮ A functional correspondence between call-by-need evaluators and lazy abstract machines ⋮ The semantics of lazy functional languages ⋮ An efficient interpreter for the lambda-calculus ⋮ An extensional treatment of lazy data flow deadlock ⋮ Logic and functional programming by retractions : operational semantics ⋮ C-expressions: A variable-free calculus for equational logic programming ⋮ A low‐cost implementation of coroutines for C ⋮ A class of functions synthesized from a finite number of examples and a lisp program scheme ⋮ Output driven interpretation of recursive programs, or writing creates and destroys data structures ⋮ Applications and extensions of context-sensitive rewriting ⋮ Semantics of interference control ⋮ Algebraic specification of data types: A synthetic approach ⋮ Primitives for resource management in a demand-driven reduction model ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ Context-sensitive rewriting strategies ⋮ Termination of Lazy Rewriting Revisited
This page was built for publication:
