A Network Protocol Stack in Standard ML

• 1 January 2001
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 14  (4) , 309-356
• https://doi.org/10.1023/a:1014403914699

Abstract

Keywords

• COMPUTER NETWORKS
• COMPUTER NETWORK
• PROGRAMMING LANGUAGE
• MODULES
• GARBAGE COLLECTION
• NETWORK PROTOCOL