Future Work

• Features not specifically omitted:

  • Call-with-current continuation
  • Closures
  • Currying
    

• Time constrained:

  • Generics
  • Structural type equivalence
  • Invariant arrays

Previous slide

Next slide

Back to first slide

View graphic version