Encoding Monomorphic and Polymorphic Types.

Jasmin Christian Blanchette, Sascha Bhme, Andrei Popescu, Nicholas Smallbone

Browse the full TACAS paper archive.