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]

Authors

Nicolas Stucki

This author has not been identified. Look up 'Nicolas Stucki' in Google

Paolo G. Giarrusso

Identified as Paolo G. Giarrusso

Martin Odersky

This author has not been identified. It may be one of the following persons: Look up 'Martin Odersky' in Google