Motivation

• Type directed compilers

• Secure extensible systems

• Understanding language implementation

  • Formalised calling conventions
  • Formal theory of typed linking

Previous slide

Next slide

Back to first slide

View graphic version