What to give up to teach it

A subject the papers are about. The loosest grouping, and the one to reach for last.

Three arguments about fitting a hard subject into a curriculum, each naming what it gives up to do so: one compulsory formal-methods course rather than formality throughout, separation logic rather than linear logic because its models are heaps and it extends classical logic, and an 8-bit Arm processor on a 1.5 mm die with one component per lab left for the student. Written by people who had to teach the thing, which is why each is specific about the cost.