Summary

• TAL is assembly language plus typing annotations

• TAL is provably type safe

• Gaurantees implied by type safety can be used to:

  • Build type directed compilers
  • Build secure extensible systems
  • Understand language implementations

Previous slide

Back to first slide

View graphic version