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

by C Monsanto, N Foster, R Harrison, D Walker
Venue:In ACM SIGPLAN-SIGACT POPL 12