Signatures for a Network Protocol Stack: A Systems Application of Standard ML Edoardo Biagioni, Rober Harper, Peter Lee, Brian G. Milnes, Lisp and Functional Programming, June 1994, Orlando, Florida.
A Structured TCP in Standard ML Edoardo Biagioni, SigCOMM '94, August 1994, London, England Available as CMU-CS-FOX-94-05