• Publications
  • Influence
Improving the lazy Krivine machine
TLDR
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
  • 25
  • 2
  • PDF
K-interpolated sequences
We define k-interpolated sequences by a family of divide-and-conquer recurrence equations. These sequences are k-regular after a segment of initial values. A k-regular sequence is computed with anExpand