Truly abstract interfaces for algebraic data types: the extractor typing problem-Reference-Cited by-同舟云学术

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

Published:2018-09-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th ACM SIGPLAN International Symposium on Scala
language:
Short-container-title:

Author:

Stucki Nicolas¹,Giarrusso Paolo G.¹,Odersky Martin¹

Affiliation:

1. EPFL, Switzerland

Funder

Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3241653.3241658

Reference21 articles.

1. Nada Amin Karl Samuel Grütter Martin Odersky Tiark Rompf and Sandro Stucki. 2016. The essence of dependent object types. WadlerFest 2016 (2016). Nada Amin Karl Samuel Grütter Martin Odersky Tiark Rompf and Sandro Stucki. 2016. The essence of dependent object types. WadlerFest 2016 (2016).

2. Thorn

3. Extensible programming with first-class cases

4. Eugene Burmako. 2017. Unification of Compile-Time and Runtime Metaprogramming in Scala. Ph.D. Dissertation. EPFL Lausanne. Advisor(s) Martin Odersky. Eugene Burmako. 2017. Unification of Compile-Time and Runtime Metaprogramming in Scala . Ph.D. Dissertation. EPFL Lausanne. Advisor(s) Martin Odersky.

5. Burak Emir Martin Odersky and John Williams. 2007. Matching objects with patterns. 273-298. Burak Emir Martin Odersky and John Williams. 2007. Matching objects with patterns. 273-298.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Virtual ADTs for portable metaprogramming;Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2021-09-29

2. Truly abstract interfaces for algebraic data types: the extractor typing problem;Proceedings of the 9th ACM SIGPLAN International Symposium on Scala;2018-09-17