Lambda-dropping: transforming recursive equations into programs with block structure
Olivier Danvy, Ulrik P. SchultzVolume:
248
Year:
2000
Language:
english
Pages:
45
DOI:
10.1016/s0304-3975(00)00054-2
File:
PDF, 302 KB
english, 2000