Encoding Monomorphic and Polymorphic Types

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36742-7_34 ◽

2013 ◽

pp. 493-507 ◽

Cited By ~ 23

Author(s):

Jasmin Christian Blanchette ◽

Sascha Böhme ◽

Andrei Popescu ◽

Nicholas Smallbone

Download Full-text