JavaGI : Generalized Interfaces for Java
No abstract available.
DOI 10.1007/978-3-540-73589-2_17
Related papers
- JavaGI in the battlefield: practical experience with generalized interfaces GPCE 2009
- JavaGI: The Interaction of Type Classes with Interfaces and Inheritance TOPLAS 2011
- Synthesis of interface specifications for Java classes POPL 2005
- Java generics are turing complete POPL 2017
- Classless Java GPCE 2016
- Adding Type Parameterization to the Java Language OOPSLA 1997
- Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless OOPSLA 2001
- Game semantics for interface middleweight Java POPL 2014