A compositional account of the Java virtual machine
- 1 January 1999
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- Imperative functional programmingPublished by Association for Computing Machinery (ACM) ,1993
- The essence of functional programmingPublished by Association for Computing Machinery (ACM) ,1992
- Type inference with simple subtypesJournal of Functional Programming, 1991
- Soft typingPublished by Association for Computing Machinery (ACM) ,1991
- Type checking records and variants in a natural extension of MLPublished by Association for Computing Machinery (ACM) ,1989