Author:
Bruce Kim B.,Odersky Martin,Wadler Philip
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Ole Agesen, Stephen Freund, and John C. Mitchell. Adding parameterized types to Java. In Symposium on Object-Oriented Programming: Systems, Languages, and Applications, ACM, 1997.
2. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object-Oriented Systems, 1(3): 221–242, 1995.
3. Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good “match” for object-oriented languages. In ECOOP '97, pages 104–127. LNCS 1241, Springer-Verlag, 1997.
4. Kim B. Bruce. A paradigmatic object-oriented programming language: design, static typing and semantics. Journal of Functional Programming, 4(2):127–206, 1994.
5. Kim B. Bruce. Increasing Java's expressiveness with ThisType and matchbounded polymorphism. Technical report, Williams College, 1997. Available via http://www.cs.williams.edu/~kim/README.html.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Familia: unifying interfaces, type classes, and family polymorphism;Proceedings of the ACM on Programming Languages;2017-10-12
2. ThisType for Object-Oriented Languages;ACM Transactions on Programming Languages and Systems;2016-05-02
3. Lightweight, flexible object-oriented generics;ACM SIGPLAN Notices;2015-08-07
4. A meta-circular language for active libraries;Science of Computer Programming;2014-12
5. Feature-Oriented Programming with Object Algebras;ECOOP 2013 – Object-Oriented Programming;2013