A network protocol stack in standard ML

DOI10.1023/A:1014403914699zbMath1017.68005OpenAlexW2169724009WikidataQ58866716 ScholiaQ58866716MaRDI QIDQ1600660

R. Smith

Publication date: 16 June 2002

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014403914699

zbMATH Keywords

standard MLTCP/IP networking protocol

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Related Items (1)

Applying Prolog to develop distributed systems

This page was built for publication: A network protocol stack in standard ML