A Network Protocol Stack in Standard ML

  title={A Network Protocol Stack in Standard ML},
  author={Edoardo Biagioni and Robert Harper and Peter Lee},
  journal={Higher-Order and Symbolic Computation},
The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a type-safe programming language with garbage collection, a unique and advanced module system, and machineindependent semantics. The FoxNet is a user-space implementation of TCP/IP that is built in SML by composing modular protocol elements; each element independently implements one of the standard protocols. One specific combination of these elements implements the… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 24 references

Design and Implementation of an Operating System in Standard ML’. Master’s thesis, University of Hawai’i at Mānoa. Available at http://www.ics.hawaii.edu/ ̃esb/prof/proj/hello/guangrui/thesis

G. Fu
View 4 Excerpts
Highly Influenced

The Performance of Foxnet 2.0

View 4 Excerpts
Highly Influenced

FoxNet Performance Test Code

E Biagioni
http://www.ics.hawaii.edu/ • 2000

The Ensemble System

M. Hayden
Ph.D. thesis, Cornell University. http://simon.cs.cornell.edu/Info/People/hayden/thesis.ps • 1998
View 1 Excerpt

Similar Papers

Loading similar papers…