TY  - JOUR

T1  - Witnessing (Co)datatypes

JO  - 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

UR  - https://eprints.whiterose.ac.uk/id/eprint/191517

PY  - 2015/04/09

AU  - Blanchette JC

AU  - Popescu A

AU  - Traytel D

ED  - Vitek J

DO  - DOI: 10.1007/978-3-662-46669-8_15

PB  - Springer Berlin

VL  - 9032

SP  - 359

EP  - 382

Y2  - 2025/11/27

ER  -