D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Even More Principal Typings for Java-like Languages - Ancona, Damiani.. (2004) (1 citation) Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages
Polymorphic Bytecode: Compositional Compilation.. - Ancona, Damiani.. (2005) (2 citations) Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004.
Even More Principal Typings for Java-like Languages - Davide Ancona Ferruccio (2004) (1 citation) Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages
Sound and Complete Inter-Checking - The very essence of.. - Ancona, Zucca Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004, January 2004.
Smart Modules for Java-like Languages - Davide Ancona Giovanni (2004) (1 citation) Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004, pages 306--317. ACM Press, January 2004.
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) Self-citation (Ancona) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) Self-citation (Ancona) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004.
Type systems for Java separate compilation and selective.. - Lagorio (2004) (1 citation) Self-citation (Ancona Zucca) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004, pages 306--317. ACM Press, January 2004.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In Conf. Rec. POPL '04: 31th ACM Symp. Princ. of Prog. Langs., 2004.
Flexible Dynamic Linking - Buckley, Drossopoulou (2004) (1 citation) (Correct)
No context found.
Davide Ancona and Elena Zucca. Principal Typings for Java-like Languages. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL 2004), pages 306--317, Venice, Italy, 2004.
Safety in Flexible Dynamic Linking - Buckley, Drossopoulou (Correct)
No context found.
Davide Ancona and Elena Zucca. Principal Typings for Java-like Languages. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL 2004), pages 306--317, Venice, Italy, 2004.
Another Step Towards a Smart Compilation Manager for Java - Lagorio (2004) (6 citations) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. In ACM Symp. on Principles of Programming Languages 2004.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. To appear as DISI technical report.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
D. Ancona and E. Zucca. Principal typings for Java-like languages. To appear as DISI technical report.
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