@dblp

Polymorphic Typing by Abstract Interpretation.

. FSTTCS, volume 652 of Lecture Notes in Computer Science, page 217-228. Springer, (1992)

Links and resources

Tags