Edo Biagioni, Peter Lee or Bob Harper
Computer Science Department
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania 15213-3891
Email: foxnet-request@cs.cmu.edu
Voice: (412) 268-7554
Fax: (412) 268-5576
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