@inproceedings{blanchette:hal-01212587, TITLE = {{Witnessing (Co)datatypes}}, AUTHOR = {Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy}, URL = {https://inria.hal.science/hal-01212587}, BOOKTITLE = {{ESOP 2015}}, ADDRESS = {London, United Kingdom}, SERIES = {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}, YEAR = {2015}, MONTH = Apr, DOI = {10.1007/978-3-662-46669-8\_15}, PDF = {https://inria.hal.science/hal-01212587/file/wit.pdf}, HAL_ID = {hal-01212587}, HAL_VERSION = {v1}, }