Edoardo Biagioni Robert Harper Peter Lee Brian Milnes Signatures for a Network Protocol Stack: A Systems Application of Standard ML. 55-64 1994 LISP and Functional Programming http://doi.acm.org/10.1145/182409.182431 db/conf/lfp/lfp1994.html#BiagioniHLM94