Lambda-dropping: Transforming recursive equations into programs with block structure

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	248
Udgave nummer	1-2
Sider (fra-til)	243-287
ISSN	0304-3975
Status	Udgivet - 2000
Udgivet eksternt	Ja

SDU link

@article{b791adb3eef44411a82715f37dd50a40,

title = "Lambda-dropping: Transforming recursive equations into programs with block structure",

author = "Olivier Danvy and Schultz, {Ulrik Pagh}",

year = "2000",

language = "English",

volume = "248",

pages = "243--287",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-2",

}