| [1] |
Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler.
Making the future safe for the past: Adding genericity to the Java
programming language.
In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on
Object-oriented programming, systems, languages, and applications, pages
183-200, New York, NY, USA, 1998. ACM Press. [ bib ] |
| [2] |
Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler.
Gj: Extending the Java programming language with type parameters.
http://homepages.inf.ed.ac.uk/wadler/gj/Documents/gj-tutorial.pdf,
August 1998. [ bib ] |
| [3] |
Gilad Bracha.
Generics in the java programming language.
http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf, July
2004. [ bib ] |
| [4] |
Andrew Kennedy and Don Syme.
Design and implementation of generics for the .net common language
runtime.
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on
Programming language design and implementation, pages 1-12, New York, NY,
USA, 2001. ACM Press. [ bib ] |
| [5] |
Dachuan Yu, Andrew Kennedy, and Don Syme.
Formalization of generics for the .net common language runtime.
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT
symposium on Principles of programming languages, pages 39-51, New York,
NY, USA, 2004. ACM Press. [ bib ] |
| [6] |
Alan Donovan, Adam Kiezun, Matthew S. Tschantz, and Michael D. Ernst.
Converting java programs to use generic libraries.
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN
Conference on Object-oriented programming, systems, languages, and
applications, pages 15-34, New York, NY, USA, 2004. ACM Press. [ bib ] |
| [7] |
David S. Goldberg, Robert Bruce Findler, and Matthew Flatt.
Super and inner: together at last!
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN
Conference on Object-oriented programming, systems, languages, and
applications, pages 116-129, New York, NY, USA, 2004. ACM Press. [ bib ] |
| [8] |
Andrew Kennedy and Claudio Russo.
Generalized algebraic data types and object-oriented programming.
In OOPSLA 2005, San Diego, CA, USA, October 2005. [ bib ] |
| [9] |
Erik Ernst.
Family polymorphism.
In Jørgen Lindskov Knudsen, editor, Proceedings ECOOP
2001, number 2072 in LNCS, pages 303-326, Heidelberg, Germany, 2001.
Springer-Verlag. [ bib ] |
| [10] |
Nathaniel Nystrom, Stephen Chong, and Andrew C. Myers.
Scalable extensibility via nested inheritance.
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN
Conference on Object-oriented programming, systems, languages, and
applications, pages 99-115, New York, NY, USA, 2004. ACM Press. [ bib ] |
| [11] |
Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann.
Simple dependent types: Concord (ftfjp workshop version), June 2004. [ bib | .html ] |
| [12] |
David L. Detlefs, K. Rustan M. Leino, Greg Nelson, and James B. Saxe.
Extended static checking.
Research Report 159, Compac Systems Research Center, Palo Alto, CA,
USA, December 1998. [ bib ] |
| [13] |
K. Rustan M. Leino.
Ecstatic: An object-oriented programming language with an axiomatic
semantics.
In Benjamin C. Pierce, editor, Fourth International Workshop on
Foundations of Object-Oriented Languages, FOOL 4, January 1997. [ bib ] |
| [14] |
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B.
Saxe, and Raymie Stata.
Extended static checking for java.
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on
Programming language design and implementation, pages 234-245, New York,
NY, USA, 2002. ACM Press. [ bib ] |
| [15] |
Manuel Fähndrich and K. Rustan M. Leino.
Declaring and checking non-null types in an object-oriented language.
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN
conference on Object-oriented programing, systems, languages, and
applications, pages 302-312, New York, NY, USA, 2003. ACM Press. [ bib ] |
| [16] |
Tian Zhao, James Noble, and Jan Vitek.
Scoped types for real-time java.
In RTSS '04: Proceedings of the 25th IEEE International
Real-Time Systems Symposium (RTSS'04), pages 241-251, Washington, DC, USA,
2004. IEEE Computer Society. [ bib ] |
| [17] |
David G. Clarke, John M. Potter, and James Noble.
Ownership types for flexible alias protection.
In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on
Object-oriented programming, systems, languages, and applications, pages
48-64, New York, NY, USA, 1998. ACM Press. [ bib ] |
| [18] |
Richard Cobbe and Matthias Felleisen.
Environmental acquisition revisited.
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT
symposium on Principles of programming languages, pages 14-25, New York,
NY, USA, 2005. ACM Press. [ bib ] |
| [19] |
Martin Odersky and Matthias Zenger.
Scalable component abstractions.
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN
conference on Object oriented programming systems languages and
applications, pages 41-57, New York, NY, USA, 2005. ACM Press. [ bib ] |
This file has been generated by bibtex2html 1.76