Types for describing coordinated data structures

This publication has 18 references indexed in Scilit:

• Polymorphic typed defunctionalization
  Published by Association for Computing Machinery (ACM) ,2004
• A provably sound TAL for back-end optimization
  Published by Association for Computing Machinery (ACM) ,2003
• Region-based memory management in cyclone
  Published by Association for Computing Machinery (ACM) ,2002
• A dependently typed assembly language
  Published by Association for Computing Machinery (ACM) ,2001
• From fast exponentiation to square matrices
  Published by Association for Computing Machinery (ACM) ,1999
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Region-Based Memory Management
  Information and Computation, 1997
• Typed closure conversion
  Published by Association for Computing Machinery (ACM) ,1996
• A Syntactic Approach to Type Soundness
  Information and Computation, 1994
• Type inference for record concatenation and multiple inheritance
  Information and Computation, 1991