Bindings as Bounded Natural Functors
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Bindings as Bounded Natural Functors. / Blanchette, Jasmin Christian; Gheri, Lorenzo; Popescu, Andrei; Traytel, Dmitriy.
In: Proceedings of the ACM on Programming Languages, Vol. 3, No. POPL, 2019, p. 22:1-22:34.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Blanchette, JC, Gheri, L, Popescu, A & Traytel, D 2019, 'Bindings as Bounded Natural Functors', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, pp. 22:1-22:34. https://doi.org/10.1145/3290335
APA
Blanchette, J. C., Gheri, L., Popescu, A., & Traytel, D. (2019). Bindings as Bounded Natural Functors. Proceedings of the ACM on Programming Languages, 3(POPL), 22:1-22:34. https://doi.org/10.1145/3290335
Vancouver
Blanchette JC, Gheri L, Popescu A, Traytel D. Bindings as Bounded Natural Functors. Proceedings of the ACM on Programming Languages. 2019;3(POPL):22:1-22:34. https://doi.org/10.1145/3290335
Author
Bibtex
@article{19736fff07e942fda03a594ed0dc2e64,
title = "Bindings as Bounded Natural Functors",
author = "Blanchette, {Jasmin Christian} and Lorenzo Gheri and Andrei Popescu and Dmitriy Traytel",
year = "2019",
doi = "10.1145/3290335",
language = "English",
volume = "3",
pages = "22:1--22:34",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "ACM",
number = "POPL",
}
RIS
TY - JOUR
T1 - Bindings as Bounded Natural Functors
AU - Blanchette, Jasmin Christian
AU - Gheri, Lorenzo
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1145/3290335
DO - 10.1145/3290335
M3 - Journal article
VL - 3
SP - 22:1-22:34
JO - Proceedings of the ACM on Programming Languages
JF - Proceedings of the ACM on Programming Languages
SN - 2475-1421
IS - POPL
ER -
ID: 245669568