Chapter PDF
5 References
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 1986
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–209
Super-Combinators: A New Implementation Method for Applicative Languages R. J. M. Hughes 1982 ACM Symposium on LISP and Functional Programming, Pittsburgh 1982
LOGLISP: Motivation, Design and Implementation J.A. Robinson and E.E. Sibert ed. K.L. Clark and S.-A. Tarnlund, Academic Press 1982
A New Implementation Technique for Applicative Languages D.A. Turner Software Practice and Experience, 1979, Vol 9
Implementing PROLOG — Compiling Logic Programs D.H.D. Warren DAI Research Reports No 39,40, Edinburgh University 1977
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Finn, S. (1987). Hoisting: Lazy evaluation in a cold climate. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. TAPSOFT 1987. Lecture Notes in Computer Science, vol 250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014979
Download citation
DOI: https://doi.org/10.1007/BFb0014979
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17611-4
Online ISBN: 978-3-540-47717-4
eBook Packages: Springer Book Archive