Interflow: interprocedural flow-sensitive type inference and method duplication - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Type Inference with Constrained TypesMartin Odersky, Martin Sulzmann, Martin Wehr. tapos, 5(1):35-55, 1999.

Polymorphic Type Inference and Abstract Data TypesKonstantin Läufer, Martin Odersky. TOPLAS, 16(5):1411-1430, 1994. [doi]

runs on WebDSL