Relating accumulative and non-accumulative functional programs

Armin Kühnemann, Robert Glück, Kazuhiko Kakehi

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

18 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Rewriting Techniques and Applications. Proceedings
Forlag	Springer Verlag
Publikationsdato	2001
Sider	154-168
DOI	https://doi.org/10.1007/3-540-45127-7_13
Status	Udgivet - 2001
Udgivet eksternt	Ja

Navn	Lecture notes in computer science
Vol/bind	2051
ISSN	0302-9743

Værtspublikationsredaktører: Aart Middeldorp
Serie: Lecture Notes in Computer Science, Springer-Verlag, 2051
Sider: 154-168

Adgang til dokumentet

@inproceedings{7c552f90b8c111debc73000ea68e967b,

title = "Relating accumulative and non-accumulative functional programs",

author = "Armin K{\"u}hnemann and Robert Gl{\"u}ck and Kazuhiko Kakehi",

note = "V{\ae}rtspublikationsredakt{\o}rer: Aart Middeldorp Serie: Lecture Notes in Computer Science, Springer-Verlag, 2051 Sider: 154-168",

year = "2001",

doi = "10.1007/3-540-45127-7_13",

language = "English",

series = "Lecture notes in computer science",

publisher = "Springer Verlag",

pages = "154--168",

booktitle = "Rewriting Techniques and Applications. Proceedings",

}

TY - GEN

T1 - Relating accumulative and non-accumulative functional programs

AU - Kühnemann, Armin

AU - Glück, Robert

AU - Kakehi, Kazuhiko

N1 - Værtspublikationsredaktører: Aart Middeldorp Serie: Lecture Notes in Computer Science, Springer-Verlag, 2051 Sider: 154-168

PY - 2001

Y1 - 2001

U2 - 10.1007/3-540-45127-7_13

DO - 10.1007/3-540-45127-7_13

M3 - Article in proceedings

T3 - Lecture notes in computer science

SP - 154

EP - 168

BT - Rewriting Techniques and Applications. Proceedings

PB - Springer Verlag

ER -