Author pages are created from data sourced from our academic publisher partnerships and public sources.
Improving the lazy Krivine machine
- D. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger
- Computer Science, Mathematics
- High. Order Symb. Comput.
- 1 September 2007
We present three call-by-need K (Krivine) machines, the first two based on Sestoft’s characterization of the call- by- need K machine but limited to unpreprocessed closed lambda terms. Expand