A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In the 24th ACM Symposium on Principles of Programming Languages. Laboratory for Computer Science, MIT, January 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
TIL: A Type-Directed, Optimizing Compiler for ML - Tarditi, Morrisett, Cheng.. (1995) (139 citations) (Correct)
....the TILT project has focused on a clean, type preserving methodology for the SML module system. At the same time TIL was being developed, Java was starting to gain momentum, and we believe it is fair to say that the TIL had some influence on the various proposals for adding generics to Java (c.f. [18, 20]) as well as the current implementation of C# generics [7] Though performance was the initial focus, it soon became clear that the lasting idea was that we should be using strongly typed intermediate languages in our compilers. When developing the compiler, we quickly found that the ability to ....
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for java. In Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 132--145, Paris, France, 1997.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Liskov) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Liskov) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (13 citations) Self-citation (Liskov) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (3 citations) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In the 24th ACM Symposium on Principles of Programming Languages. Laboratory for Computer Science, MIT, January 1997.
Retrospective: - Til Type-Directed Optimizing (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for java. In Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 132--145, Paris, France, 1997.
Introducing safe unknown types in Java-like languages - Lagorio Via Dodecaneso (2006) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized Types for Java. In ACM Symp. on Principles of Programming Languages 1997.
FC++: Functional Tools for Object-Oriented Tasks - Yannis Smaragdakis And (Correct)
No context found.
A. Myers, J. Bank and B. Liskov, "Parameterized Types for Java", ACM Languages, 1997 (PoPL 97).
Jam - Designing a Java Extension with Mixins - Ancona, Lagorio, Zucca (2003) (4 citations) (Correct)
No context found.
Meyers, A., Bank, J., and Liskov, B. 1997. Parameterized types for Java. In ACM Symp. on Principles of Programming Languages 1997. ACM Press.
A Static C++ Object-Oriented Programming (SCOOP).. - Burrus.. (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for java. In In the Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL), pages 132--145, Paris, France, January 1997.
Asynchronous RMI for CentiJ - Lyon (2004) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov: "Parameterized Types in Java", In: Proc. of 24th POPL, pages 132-145, 1997
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (2 citations) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In POPL, pages 132--145, Jan. 1997.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
Java `ight is Type-Safe --- Definitely - Tobias Nipkow And (1998) (1 citation) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Proc. 24th ACM Symp. Principles of Programming Languages, pages 132--145, 1997.
A First-Class Approach to Genericity - Allen, Bannet, Cartwright (2003) (5 citations) (Correct)
No context found.
A. Myers, J. Bank, and B. Liskov. Parameterized types for Java. In POPL, 1997.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type.. (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
A Static C++ Object-Oriented Programming (SCOOP).. - Burrus.. (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for java. In In the Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL), pages 132--145, Paris, France, January 1997.
A First-Class Approach to Genericity - Allen (2003) (5 citations) (Correct)
No context found.
A. Myers, J. Bank, B. Liskov. Parameterized Types for Java. In POPL 1997.
ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type.. (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
Efficient Implementation of Run-time Generic Types for Java - Allen, Cartwright, Stoler (Correct)
No context found.
A. Myers, J. Bank, B. Liskov. Pa rameterized Types for Java. ACM POPL 1997.
Growing a Language - Jr. (1999) (10 citations) (Correct)
No context found.
Myers, A.C., Bank, J.A., and Liskov, B. Parameterized types for Java. In Proceedings of the ACM Symposium on Principles of Programming Languages, January 1997, pp. 132--145.
Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer (Correct)
No context found.
A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC