Typed Assembly Language:

• No need to trust the compiler

• No need for a single, high-level language

• Provides “small-granularity” abstractions

  • lists, trees, ADTs, closures, objects
  • callee-saves registers, GC invariants

Previous slide

Next slide

Back to first slide

View graphic version