TO
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "Functional programs"
1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Lindstrom, Gary E. | Combinator evaluation of functional programs with logical variables | A technique is presented that brings logical variables into the scope of the well known Turner method for evaluating normal order functioned programs by S, K, I combinator graph reduction. This extension is illustrated by SASL+LV, an extension of Turner's language SASL in which general expressions s... | Functional programs; Logical variables; SASL+LV; Turner's language | 1987 |
| 2 |
 | Gopalakrishnan, Ganesh | Implementing functional programs using mutable abstract data types | We study the following problem in this paper. Suppose we have a purely functional program that uses a set of abstract data types by invoking their operations. Is there an order of evaluation of the operations in the program that preserves the applicative order of evaluation semantics of the program... | Functional programs; Mutable abstract data; Abstract data types | 1987 |
1 - 25 of 2