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]
@inproceedings{StuckiGO18, title = {Truly abstract interfaces for algebraic data types: the extractor typing problem}, author = {Nicolas Stucki and Paolo G. Giarrusso and Martin Odersky}, year = {2018}, doi = {10.1145/3241653.3241658}, url = {https://doi.org/10.1145/3241653.3241658}, researchr = {https://researchr.org/publication/StuckiGO18}, cites = {0}, citedby = {0}, pages = {56-60}, booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018}, editor = {Sebastian Erdweg and Bruno C. D. S. Oliveira}, publisher = {ACM}, }