Foundational Extensible Corecursion
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Foundational Extensible Corecursion. / Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy.
ICFP 2015. red. / John Reppy. ACM, 2015. s. 192-204.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Blanchette, JC, Popescu, A & Traytel, D 2015, Foundational Extensible Corecursion. i J Reppy (red.), ICFP 2015. ACM, s. 192-204. https://doi.org/10.1145/2784731.2784732
APA
Blanchette, J. C., Popescu, A., & Traytel, D. (2015). Foundational Extensible Corecursion. I J. Reppy (red.), ICFP 2015 (s. 192-204). ACM. https://doi.org/10.1145/2784731.2784732
Vancouver
Blanchette JC, Popescu A, Traytel D. Foundational Extensible Corecursion. I Reppy J, red., ICFP 2015. ACM. 2015. s. 192-204 https://doi.org/10.1145/2784731.2784732
Author
Bibtex
@inproceedings{94886e9d4b7b40c9a1dd79219fd5f550,
title = "Foundational Extensible Corecursion",
author = "Blanchette, {Jasmin Christian} and Andrei Popescu and Dmitriy Traytel",
year = "2015",
doi = "10.1145/2784731.2784732",
language = "English",
pages = "192--204",
editor = "John Reppy",
booktitle = "ICFP 2015",
publisher = "ACM",
}
RIS
TY - GEN
T1 - Foundational Extensible Corecursion
AU - Blanchette, Jasmin Christian
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2015
Y1 - 2015
U2 - 10.1145/2784731.2784732
DO - 10.1145/2784731.2784732
M3 - Article in proceedings
SP - 192
EP - 204
BT - ICFP 2015
A2 - Reppy, John
PB - ACM
ER -
ID: 245668981