Solution

• Simpler

  • Everything which happens at run-time is described by the terms
  • Can go to a type erasure semantics
    • Simpler closure conversion
  • No duplication for type and term level

Previous slide

Next slide

Back to first slide

View graphic version