Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM SIGPLAN Conference on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), October 1999. Full version in ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3), May 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
It is Time to Mechanize Programming Language Metatheory - Pierce, Sewell, Weirich.. Self-citation (Pierce) (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM SIGPLAN Conference on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), October 1999. Full version in ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3), May 2001.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) Self-citation (Pierce) (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM SIGPLAN Conference on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), October 1999. Full version in ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3), May 2001.
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
No context found.
IGARASHI , A., PIERCE, B. C., AND WADLER, P. Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23, 3 (May 2001), 396--450.
Translation Of Pattern Matching In A Java-Like Language - Burak Emir Epf (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight java: A minimal core calculus for java and gj. ACM Transactions on Programming Languages and Systems, 23(3):396--450, March 2001.
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
No context found.
A. Igarashi, B. C. Pierce, P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ., ACM Trans. Program. Lang. Syst. 23 (3) (2001) 396--450.
Variance and Generalized Constraints for C# Generics - Emir, Kennedy, Russo, Yu (2006) (Correct)
No context found.
A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396--450, 2001.
Semantic Essence of AsmL - Yuri Gurevich Benjamin (2004) (1 citation) (Correct)
No context found.
Atsushi Igarashi, Benjamin C. Pierce and Philip Wadler, "Featherweight Java: a minimal core calculus for Java and GJ", ACM Transactions on Programming Languages and Systems (TOPLAS) 23:3 (May 2001), 396-- 450.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. Proc. Object Oriented Programming Systems, Languages and Applications, Denver, Colorado, November 1999.
Introducing safe unknown types in Java-like languages - Lagorio Via Dodecaneso (2006) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999.
An abstract model of Java dynamic linking and loading - Drossopoulou (2001) (2 citations) (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In OOPSLA Proceedings, November 1999.
Even More Principal Typings for Java-like Languages - Ancona, Damiani.. (2004) (1 citation) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications
Method Inlining, Dynamic Class Loading, and Type Soundness - Glew, Palsberg (2004) (Correct)
No context found.
Atsushi Igarashi, Benjamion Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 132--146, Denver, CO, USA, October 1999.
Flexible Dynamic Linking - Buckley, Drossopoulou (2004) (1 citation) (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. In Loren Meissner, editor, Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), pages 132--146, Denver, Colorado, USA, 1999.
MiniMAO: Investigating the Semantics of Proceed - Clifton, Leavens (2005) (1 citation) (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Loren Meissner, editor, Proceedings of the 1999.
Modeling Multiple Class Loaders by a Calculus for Dynamic.. - Fagorzi, Zucca, Ancona (2004) (2 citations) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999.
Chai: Traits for Java-like Languages - Smith, Drossopoulou (2005) (Correct)
No context found.
Atshushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Loren Meissner, editor, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA`99), volume 34(10), pages 132--146, N. Y., 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396--450, 2001.
Safety in Flexible Dynamic Linking - Buckley, Drossopoulou (Correct)
No context found.
Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. In Loren Meissner, editor, Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), pages 132--146, Denver, CO, USA, 1999.
Polymorphic Bytecode: Compositional Compilation.. - Ancona, Damiani.. (2005) (2 citations) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999.
Even More Principal Typings for Java-like Languages - Davide Ancona Ferruccio (2004) (1 citation) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications
A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (6 citations) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132-146, November 1999.
Smart Modules for Java-like Languages - Davide Ancona Giovanni (2004) (1 citation) (Correct)
No context found.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132--146, November 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396--450, 2001.
Defaulting Generic Java to Ownership - Alex Potanin James (2004) (Correct)
No context found.
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3):396 -- 450, May 2001.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396--450, 2001.
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