Witnessing (Co)datatypes
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Witnessing (Co)datatypes. / Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy.
Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. ed. / Jan Vitek. Springer, 2015. p. 359-382 (Lecture Notes in Computer Science, Vol. 9032).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Blanchette, JC, Popescu, A & Traytel, D 2015, Witnessing (Co)datatypes. in J Vitek (ed.), Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer, Lecture Notes in Computer Science, vol. 9032, pp. 359-382. https://doi.org/10.1007/978-3-662-46669-8_15
APA
Blanchette, J. C., Popescu, A., & Traytel, D. (2015). Witnessing (Co)datatypes. In J. Vitek (Ed.), Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (pp. 359-382). Springer. Lecture Notes in Computer Science Vol. 9032 https://doi.org/10.1007/978-3-662-46669-8_15
Vancouver
Blanchette JC, Popescu A, Traytel D. Witnessing (Co)datatypes. In Vitek J, editor, Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer. 2015. p. 359-382. (Lecture Notes in Computer Science, Vol. 9032). https://doi.org/10.1007/978-3-662-46669-8_15
Author
Bibtex
@inproceedings{5a262675dd644ee387eba1e1c1ab9247,
title = "Witnessing (Co)datatypes",
author = "Blanchette, {Jasmin Christian} and Andrei Popescu and Dmitriy Traytel",
year = "2015",
doi = "10.1007/978-3-662-46669-8_15",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "359--382",
editor = "Jan Vitek",
booktitle = "Programming Languages and Systems",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Witnessing (Co)datatypes
AU - Blanchette, Jasmin Christian
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2015
Y1 - 2015
U2 - 10.1007/978-3-662-46669-8_15
DO - 10.1007/978-3-662-46669-8_15
M3 - Article in proceedings
T3 - Lecture Notes in Computer Science
SP - 359
EP - 382
BT - Programming Languages and Systems
A2 - Vitek, Jan
PB - Springer
ER -
ID: 245668943