TY  - CONF

T1  - Encoding Monomorphic and Polymorphic Types

UR  - http://dx.doi.org/10.1007/978-3-642-36742-7_34

PY  - 2013/03/05

AU  - Blanchette JC

AU  - Böhme S

AU  - Popescu A

AU  - Smallbone N

ED  - 

DO  - DOI: 10.1007/978-3-642-36742-7_34

PB  - Springer Berlin Heidelberg

SN  - 9783642367410

SP  - 493

EP  - 507

Y2  - 2024/12/23

ER  -