Searching for "The Semantics of Lazy Functional Languages." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
J.R. Kennaway
- … naturally arise in the semantics of lazy functional languages, in which it is possible to write and compute…
- Add To MetaCart
-
Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
- … on the use of coinduction with the operational semantics of a lazy functional language. Coinduction has also…
- Cited by 1 (1 self) – Add To MetaCart
-
Once Upon a Polymorphic Type
- … language. Accurate information on the usage of program subexpressions in a lazy functional language permits…
- Cited by 35 (5 self) – Add To MetaCart
-
Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
- … in some language execute on some abstract machine. The operational semantics of lazy functional languages…
- Add To MetaCart
-
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging
- … driven nature (call-by-need semantics) of lazy functional languages makes debugging at an operational…
- Cited by 27 (4 self) – Add To MetaCart
-
The Evaluation Dependence Tree: An Execution Record for Lazy Functional Debugging
- …-by-need semantics) of lazy functional languages makes debugging at an operational level difficult. To fully…
- Cited by 5 (2 self) – Add To MetaCart
-
Higher Order Demand Propagation
- … semantics of lazy functional languages, which do not evaluate function applications until they are satisfied…
- Cited by 4 (0 self) – Add To MetaCart
-
Implementing Concurrent Logic and Functional Languages in Dactl
- … semantics (lazy functional languages, ‘eager’ concurrent logic languages) for which no general predefined…
- Cited by 1 (1 self) – Add To MetaCart
-
Concurrent Object-Oriented Programming Using Term Graph Rewriting Techniques
- … to accommodate the needs of a number of languages, often with divergent operational semantics such as lazy…
- Cited by 1 (1 self) – Add To MetaCart
-
Object-Oriented Term Graph Rewriting
- …, often with divergent operational semantics such as lazy functional languages ([14,16]), "eager…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
