Partitioning dataflow analyses using types. Pages 15--26 of: Twenty-fourth ACM SIGACT-SIGPLAN symposium on principles of programming languages (1997)

by Erik Ruf
Venue:Intensional Polymorphism in Type-Erasure Semantics 29