Author:
Scherer Gabriel,Rémy Didier
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Abel, A.: Polarized subtyping for sized types. Mathematical Structures in Computer Science (2006); Goguen, H., Compagnoni, A. (eds.) Special issue on subtyping
2. Lecture Notes in Computer Science;B. Emir,2006
3. Lecture Notes in Computer Science;J. Garrigue,2004
4. Kennedy, A., Russo, C.V.: Generalized algebraic data types and object-oriented programming. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (2005),
http://research.microsoft.com/pubs/64040/gadtoop.pdf
5. Pfenning, F.: Intensionality, extensionality, and proof irrelevance in modal type theory. In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science, LICS 2001, June 16-19. Boston University, USA (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning;Proceedings of the ACM on Programming Languages;2022-10-31
2. Implementing path-dependent GADT reasoning for Scala 3;Proceedings of the 12th ACM SIGPLAN International Symposium on Scala;2021-10-17
3. Towards improved GADT reasoning in Scala;Proceedings of the Tenth ACM SIGPLAN Symposium on Scala;2019-07-17
4. First-Class Subtypes;Electronic Proceedings in Theoretical Computer Science;2019-05-16
5. Safe zero-cost coercions for Haskell;ACM SIGPLAN Notices;2014-11-26