Hoisting: Lazy evaluation in a cold climate

  • Simon Finn
Session CFLP 3 Implementation Techniques
Part of the Lecture Notes in Computer Science book series (LNCS, volume 250)

5 References

  1. [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
  2. [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
  3. [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
  4. [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
  5. [Turner 79]
    A New Implementation Technique for Applicative Languages D.A. Turner Software Practice and Experience, 1979, Vol 9Google Scholar
  6. [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

Authors and Affiliations

  • Simon Finn
    • 1
  1. 1.Department of Computing ScienceUniversity of StirlingStirling

Personalised recommendations