Organising Low-Level Programs using Higher Types.

Ulrich Schpp

Browse the full PPDP paper archive.