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]

@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},
}