15 citations found. Retrieving documents...
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