Truly abstract interfaces for algebraic data types: the extractor typing problem

Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky. Truly abstract interfaces for algebraic data types: the extractor typing problem. 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 56-60, ACM, 2018. [doi]

Abstract

Abstract is missing.