ML signatures for a protocol stack. Fox Memorandum CMU{CS (1993)

by Edoardo Biagioni, Nicholas Haines, Robert Harper, Peter Lee, Brian G Milnes, Eliot B Moss