Stack-based Typed Assembly Language

This publication has 23 references indexed in Scilit:

• Foundations for the implementation of higher-order subtyping
  Published by Association for Computing Machinery (ACM) ,1997
• From region inference to von Neumann machines via region representation inference
  Published by Association for Computing Machinery (ACM) ,1996
• Empirical and analytic study of stack versus heap cost for languages with closures
  Journal of Functional Programming, 1996
• Memory system performance of programs with intensive heap allocation
  ACM Transactions on Computer Systems, 1995
• Memory subsystem performance of programs using copying garbage collection
  Published by Association for Computing Machinery (ACM) ,1994
• Callee-save registers in continuation-passing style
  Higher-Order and Symbolic Computation, 1992
• Unboxed objects and polymorphic typing
  Published by Association for Computing Machinery (ACM) ,1992
• Inheritance as implicit coercion
  Information and Computation, 1991
• Continuation-passing, closure-passing style
  Published by Association for Computing Machinery (ACM) ,1989
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964