@inproceedings{BlanchetteESOP2015,
TITLE = {Witnessing (Co)datatypes},
AUTHOR = {Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy},
LANGUAGE = {eng},
ISBN = {978-3-662-46668-1},
DOI = {10.1007/978-3-662-46669-8_15},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Programming Languages and Systems (ESOP 2015)},
EDITOR = {Vitek, Jan},
PAGES = {359--382},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {9032},
ADDRESS = {London, UK},
}