A compiler and run-time system for network programming languages.

Christopher Monsanto, Nate Foster, Rob Harrison, David Walker

Browse the full POPL paper archive.