1994
DOI: 10.1145/190809.190318
|View full text |Cite
|
Sign up to set email alerts
|

A structured TCP in standard ML.

Abstract: This paper describes the design of an implementation of the Transmission Control Protocol using an extension of the Standard ML (SML) language. SML supportshigher-order fimctions, modularity, and type-safe module composition.We find that by using SML we can achieve good structure and good performance simultaneously. Good structure includes a modular decomposition of the protocol stack and of the TCP implementation, a control structure that imposes a total ordering on all events and processes them synchronously… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
14
0

Year Published

1996
1996
2005
2005

Publication Types

Select...
7
2

Relationship

1
8

Authors

Journals

citations
Cited by 19 publications
(14 citation statements)
references
References 14 publications
0
14
0
Order By: Relevance
“…This includes domain-specific object-oriented languages like Morpheus [1] and Prolac [17], and functional approaches like the Fox project's TCP implementation [6].…”
Section: Related Workmentioning
confidence: 99%
“…This includes domain-specific object-oriented languages like Morpheus [1] and Prolac [17], and functional approaches like the Fox project's TCP implementation [6].…”
Section: Related Workmentioning
confidence: 99%
“…In particular, Scott Nettles, a recent Ph.D. from CMU, had joined the Penn faculty and had a unique blend of programming language and operating systems technology expertise. This allowed the team to take advantage of the new programming methodologies I had alluded to earlier, and to leverage the work of the ML community, which was increasingly interested in networking applications [Bia94].…”
Section: Switchwarementioning
confidence: 99%
“…Second, at the time the CAML implementation was significantly faster than SUN's Java implementation, which contributed to our performance goals. Finally, there was considerable interest in the ML community [66] in networks as an area of study.…”
Section: A Alienmentioning
confidence: 99%