scientific article; zbMATH DE number 3722073
From MaRDI portal
Publication:3911367
zbMATH Open0461.68023MaRDI QIDQ3911367FDOQ3911367
Authors: Daniel P. Friedman, David S. Wise
Publication date: 1976
Title of this publication is not available (Why is that?)
Cited In (22)
- An incremental primal sieve
- C-expressions: A variable-free calculus for equational logic programming
- Output driven interpretation of recursive programs, or writing creates and destroys data structures
- Functional programming with combinators
- A class of functions synthesized from a finite number of examples and a lisp program scheme
- A theory for nondeterminism, parallelism, communication, and concurrency
- An extensional treatment of lazy data flow deadlock
- An efficient interpreter for the lambda-calculus
- Logic and functional programming by retractions : operational semantics
- The semantics of lazy functional languages
- Applications and extensions of context-sensitive rewriting
- Semantics of interference control
- Partial parametrization eliminates multiple traversals of data structures
- Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
- Algebraic specification of data types: A synthetic approach
- A functional correspondence between call-by-need evaluators and lazy abstract machines
- Lazy rewriting and context-sensitive rewriting
- A low‐cost implementation of coroutines for C
- Termination of lazy rewriting revisited
- Super-naturals
- Primitives for resource management in a demand-driven reduction model
- Context-sensitive rewriting strategies
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 Q3911367)