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

@inproceedings{Biagioni1994SignaturesFA,
  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},
  year={1994}
}
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

Citations

Publications citing this paper.

69 Citations

0510'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.

References

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…