Robert Ennals, Richard Sharp, Alan Mycroft
Linear Types for Packet Processing
ESOP, 2004.
@inproceedings{ESOP-2004-EnnalsSM,
author = "Robert Ennals and Richard Sharp and Alan Mycroft",
booktitle = "{Proceedings of the 13th European Symposium on Programming}",
doi = "10.1007/978-3-540-24725-8_15",
editor = "David A. Schmidt",
isbn = "3-540-21313-9",
pages = "204--218",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Linear Types for Packet Processing}",
volume = 2986,
year = 2004,
}
Tags: