A compiler and run-time system for network programs (2012)

by C Monsanto, N Foster, R Harrison, D Walker
Venue:In POPL