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

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