A structured TCP in standard ML.

A structured TCP in standard ML.

This paper describes the design of an implementation of the Transmission Control Protocol using an extension of the Standard ML (SML) language. SML supports higher-order functions, modularity, and type-safe module composition. We find that by using SML we can achieve good structure and good performa...

Full description

Bibliographic Details
Published in:Computer communication review. 24, 4 (1994).
Main Author: Biagioni, Edoardo
Format: Article
Language:English
Subjects:
Software.
Programming languages.
Language classifications.
ML.
Computer systems organization.
Computer communication networks.
Algorithms.
Languages.
Performance.
Standardization.