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...

Description complète

Détails bibliographiques
Publié dans:Computer communication review. 24, 4 (1994).
Auteur principal: Biagioni, Edoardo
Format: Article
Langue:English
Sujets:
Software.
Programming languages.
Language classifications.
ML.
Computer systems organization.
Computer communication networks.
Algorithms.
Languages.
Performance.
Standardization.