Linear Types for Packet Processing.

Robert Ennals, Richard Sharp, Alan Mycroft

Browse the full ESOP paper archive.