Higher-Order and Symbolic Computation

, Volume 20, Issue 3, pp 333–335

State-transition machines, revisited

Article

Abstract

History and context are given regarding the development of the WNF-machine, the first example of a Krivine machine.

Keywords

Lambda-calculus Denotational semantics Defunctionalization Continuation-passing style Krivine machine 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Computing and Information Science DepartmentKansas State UniversityManhattanUSA

Personalised recommendations