Hoisting: Lazy evaluation in a cold climate
Session CFLP 3 Implementation Techniques
First Online:
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
Copyright information
© Springer-Verlag Berlin Heidelberg 1987