Variance and Generalized Constraints for C $^{\sharp}$ Generics-Reference-Cited by-同舟云学术

Variance and Generalized Constraints for C $^{\sharp}$ Generics

Published:2006 Issue: Volume: Page:279-303
ISSN:0302-9743
Container-title:ECOOP 2006 – Object-Oriented Programming
language:
Short-container-title:

Author:

Emir Burak,Kennedy Andrew,Russo Claudio,Yu Dachuan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11785477_18.pdf

Reference18 articles.

1. America, P., van der Linden, F.: A parallel object-oriented language with inheritance and subtyping. In: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications/European Conference on Object-Oriented Programming (OOPSLA/ECOOP 1990), pp. 161–168. ACM Press, New York (1990)

2. Cartwright, R., Steele, G.L.: Compatible genericity with run-time types for the Java programming language. In: Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), Vancouver, October 1998, ACM Press, New York (1998)

3. Castagna, G., Pierce, B.: Decidable bounded quantification. In: Proceedings of the Twenty-First ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL), Portland, Oregon, January 1994, ACM Press, New York (1994)

4. ECMA International. ECMA Standard 335: Common Language Infrastructure, 3rd edn. (June 2005) Available at http://www.ecma-international.org/publications/standards/Ecma-335.htm

5. Lecture Notes in Computer Science;N.G. Fruja,2006

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

1. A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go;Journal of Functional Programming;2023

2. 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

3. First-Class Subtypes;Electronic Proceedings in Theoretical Computer Science;2019-05-16

4. Simplicitly: foundations and applications of implicit function types;Proceedings of the ACM on Programming Languages;2018-01

5. Dualizing Generalized Algebraic Data Types by Matrix Transposition;Programming Languages and Systems;2018