GADTs Meet Subtyping

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-37036-6_30 ◽

2013 ◽

pp. 554-573 ◽

Author(s):

Gabriel Scherer ◽

Didier Rémy

Download Full-text