- A lazy evaluator
1976/01/01 by Peter Henderson, James H. Morris · 327 citations
Computer Science · #Algorithms and Data Compression #Computer science #Correctness #Critical section #Functional programming #Lazy evaluation #Lisp #Logic, programming, and type systems #Natural Language Processing Techniques #Partial evaluation #Programming language #Semantics (computer science) #Substitution (logic) #Theoretical computer science