Signatures for a Network Protocol Stack: A Systems Application of Standard ML

Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes. Signatures for a Network Protocol Stack: A Systems Application of Standard ML. In LISP and Functional Programming. pages 55-64, 1994. [doi]

Abstract

Abstract is missing.