Polymorphic Type Inference for the JNI
Abstract elided by the publisher.
Related papers
- Checking type safety of foreign function calls TOPLAS 2008
- Type qualifier inference for java OOPSLA 2007
- Parametric polymorphism for software component architectures OOPSLA 2005
- Simple Type Inference for Structural Polymorphism APLAS 2001
- Constraint-Based Type Inference and Parametric Polymorphism SAS 1994
- JNI Light: An Operational Model for the Core JNI APLAS 2010
- A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms APLAS 2000
- BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code SAS 2024