Linear Types for Packet Processing
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Linear Types for Packet ProcessingLecture Notes in Computer Science, 2004
- IBM PowerNP network processor: Hardware, software, and applicationsIBM Journal of Research and Development, 2003
- Quasi-linear typesPublished by Association for Computing Machinery (ACM) ,1999
- Ownership types for flexible alias protectionPublished by Association for Computing Machinery (ACM) ,1998
- The essence of compiling with continuationsPublished by Association for Computing Machinery (ACM) ,1993
- The chemical abstract machineTheoretical Computer Science, 1992
- Internet Control Message ProtocolPublished by RFC Editor ,1981