Linear Types for Packet Processing Robert Ennals1 , Richard Sharp2 , and Alan Mycroft1 1 Computer Laboratory, Cambridge University 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK.

First Page		Document Content
Date: 2006-04-13 14:58:00		Linear Types for Packet Processing Robert Ennals1 , Richard Sharp2 , and Alan Mycroft1 1 Computer Laboratory, Cambridge University 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK. Add to Reading List Source URL: rich.recoil.org Download Document from Source Website File Size: 167,74 KB Share Document on Facebook