Interflow: interprocedural flow-sensitive type inference and method duplication

Denys Shabalin, Martin Odersky. Interflow: interprocedural flow-sensitive type inference and method duplication. In Sebastian Erdweg, Bruno C. D. S. Oliveira, editors, Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018. pages 61-71, ACM, 2018. [doi]

Abstract

Abstract is missing.