The tcp package
A purely functional TCP implementation
Peng Li's TCP stack based on the formal HOL4 TCP specification at http://www.cl.cam.ac.uk/~pes20/Netsem/, code base on the unified events and threads project http://www.seas.upenn.edu/~lipeng/homepage/unify.html.
Properties
| Version | 0.0.2 |
|---|---|
| Dependencies | base, containers, old-time |
| License | BSD3 |
| Author | Peng Li and Stephan Zdancewic |
| Maintainer | Don Stewart |
| Category | Network |
| Home page | http://www.cl.cam.ac.uk/~pes20/Netsem/ |
| Upload date | Tue Apr 7 23:06:20 UTC 2009 |
| Uploaded by | DonaldStewart |
| Built on | ghc-6.10, ghc-6.12, ghc-7.0 |
Modules
- Network
- TCP
- Aux
- LTS
- Network.TCP.Pure
- Type
- TCP
Downloads
- tcp-0.0.2.tar.gz (Cabal source package)
- package description (included in the package)