What Is It?

• Assembly language

• Plus types & type rules

• Plus memory management primitives & I/O

• Type system is safe, ie, well typed programs don't go wrong; and decidable in polynomial time

Previous slide

Next slide

Back to first slide

View graphic version