TY  - RPRT
TI  - Encoding Monomorphic and Polymorphic Types
AU  - Jasmin Christian Blanchette
AU  - Sascha Böhme
AU  - Andrei Popescu
AU  - Nicholas Smallbone
PY  - 2016
DO  - 10.2168/lmcs-12(4:13)2016
UR  - https://arxiv.org/abs/1609.08916
ID  - 1609.08916
ER  -