Witnessing (Co)datatypes
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. red. / Jan Vitek. Springer, 2015. s. 359-382 (Lecture Notes in Computer Science, Bind 9032).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Blanchette, JC, Popescu, A & Traytel, D 2015, Witnessing (Co)datatypes. i J Vitek (red.), 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, bind 9032, s. 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. I J. Vitek (red.), 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 (s. 359-382). Springer. Lecture Notes in Computer Science Bind 9032 https://doi.org/10.1007/978-3-662-46669-8_15
Vancouver
Blanchette JC, Popescu A, Traytel D. Witnessing (Co)datatypes. I Vitek J, red., 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. s. 359-382. (Lecture Notes in Computer Science, Bind 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