Typing a multi-language intermediate code

This publication has 17 references indexed in Scilit:

• A type system for object initialization in the Java bytecode language
  ACM Transactions on Programming Languages and Systems, 1999
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• A compositional account of the Java virtual machine
  Published by Association for Computing Machinery (ACM) ,1999
• A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines
  Published by Springer Nature ,1999
• Machine-Checking the Java Specification: Proving Type-Safety
  Published by Springer Nature ,1999
• Proving Java Type Soundness
  Published by Springer Nature ,1999
• Compilation and equivalence of imperative objects
  Journal of Functional Programming, 1999
• Region-Based Memory Management
  Information and Computation, 1997
• TIL
  Published by Association for Computing Machinery (ACM) ,1996
• Unboxed values as first class citizens in a non-strict functional language
  Published by Springer Nature ,1991