Thunks and the λ-calculus (1997)

by John Hatcliff , Olivier Danvy
Venue:IN THE JOURNAL OF FUNCTIONAL PROGRAMMING. RS-97-6 OLIVIER DANVY AND ULRIK
Citations:21 - 9 self

Document Versions

Thunks and the λ-calculus –John Hatcliff, Olivier Danvy — 1997 — IN THE JOURNAL OF FUNCTIONAL PROGRAMMING. RS-97-6 OLIVIER DANVY AND ULRIK
Thunks and the λ-calculus –Olivier Danvy, John Hatcliff — 1997
Thunks and the λ-calculus –John Hatcliff, John Hatcliff, Olivier Danvy, Olivier Danvy, Λ F Λthunks — 1997 — Journal of Functional Programming