A network protocol stack in Standard ML

Higher-Order and Symbolic Computation

Volumn 14, Issue 4, 2001, Pages 309-356

  Biagioni, Edoardo ^a   Harper, Robert ^b   Lee, Peter ^b  

^a UNIVERSITY OF HAWAII   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

Computer networks; Modules; Signatures; Standard ML; Types

Indexed keywords

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; INTERNET; PROBLEM SOLVING;

INTERNET PROTOCOL (IP); TRANSMISSION CONTROL PROTOCOL (TCP);

NETWORK PROTOCOLS;

EID: 0035730521     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1014403914699     Document Type: Article

References (29)

1. Standard ML of New Jersey
2. SPIN - An extensible microkernel for application-specific operating system services
3. A structured TCP in Standard ML
4. Safe-for-space threads in Standard ML
5. Signatures for a network protocol stack - A systems application of Standard ML
6. The structuring of systems using upcalls
7. The OSI reference model
8. Recursive programming
9. The Flux OSKit: A substrate for kernel and language research
10. A readable TCP in the Prolac protocol language
11. A dynamic network architecture
12. USC: A universal stub compiler
13. CML: A higher-order concurrent language
14. Virtualisable threads
15. Static and dynamic program compilation by interpreter specialization
16. Continuation-based multiprocessing