Signatures for a Network Protocol Stack: A Systems Application of Standard ML

  title={Signatures for a Network Protocol Stack: A Systems Application of Standard ML},
  author={Edoardo Biagioni and Robert Harper and Peter Lee and Brian Milnes},
  booktitle={LISP and Functional Programming},
Advanced programming languages such as Standard ML have rarely been used for systems programming tasks such as operating systems and network communications. In order to understand more fully the requirements of systems programming, we have implemented a suite of industry-standard network communication protocols in a completely type-safe extension of Standard ML. While the implementation has only recently become operational, we already observe acceptable communications throughput. We make… CONTINUE READING
Highly Cited
This paper has 69 citations. REVIEW CITATIONS


Publications citing this paper.

69 Citations

Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-2 of 2 references

Automated integration of communication protocol layers

  • Mark B. Abbott, Larry L. Peterson
  • Technical Report TR 92-24,
  • 1992
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…