Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1609.08916.pdf (Preprint), 790KB
Blanchette, J. C., Böhme, S., Popescu, A., & Smallbone, N. (2016). Encoding Monomorphic and Polymorphic Types. doi:10.2168/LMCS-2014-1018.