Hoisting: Lazy evaluation in a cold climate

TAPSOFT 1987: TAPSOFT '87 pp 155-166 | Cite as

Session CFLP 3 Implementation Techniques

First Online: 09 June 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 250)

Download to read the full conference paper text

5 References

[Darlington et al. 86]
The Unification of Functional and Logic Languages J. Darlington, A.J. Field and H. Pull in ‘Logic Programming: Functions, Relations and Equations’ ed. D. DeGroot and G. Lindstrom Prentice-Hall 1986Google Scholar
[Goguen and Messeguer 84]
EQLOG: Equality, Types and Generic Modules for Logic Programming J. Goguen and J. Meseguer Journal of Logic Programming, 1984, Vol 1, No 2, pp 179–209Google Scholar
[Hughes 82]
Super-Combinators: A New Implementation Method for Applicative Languages R. J. M. Hughes 1982 ACM Symposium on LISP and Functional Programming, Pittsburgh 1982Google Scholar
[Robinson and Sibert 82]
LOGLISP: Motivation, Design and Implementation J.A. Robinson and E.E. Sibert ed. K.L. Clark and S.-A. Tarnlund, Academic Press 1982Google Scholar
[Turner 79]
A New Implementation Technique for Applicative Languages D.A. Turner Software Practice and Experience, 1979, Vol 9Google Scholar
[Warren 77]
Implementing PROLOG — Compiling Logic Programs D.H.D. Warren DAI Research Reports No 39,40, Edinburgh University 1977Google Scholar