Abstract Interpretation of Polymorphic Higher-Order Functions (1991)

by G Baraki
Venue:Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture (FPCA '91). LNCS 523