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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Computer communication review. 24, 4 (1994).
Tác giả chính: Biagioni, Edoardo
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Software.
Programming languages.
Language classifications.
ML.
Computer systems organization.
Computer communication networks.
Algorithms.
Languages.
Performance.
Standardization.