Skip to main content
  1. Tags/

lambda interpreter

SIS

SIS (semantics implementation system, 1972–1979) used partial evaluation to run programs according to their denotational semantics.