@hackage sessiontypes0.1.1
Session types library
Categories
License
GPL-3.0-only
Maintainer
Ferdinand van Walree
Links
Versions
Installation
Dependencies (7)
- base >=4.7 && <5
- deepseq >=1.4 && <1.5
- diagrams-lib >=1.4 && <1.5
- diagrams-svg >=1.4 && <1.5
- mtl >=2.2 && <2.3
- transformers >=0.5 && <0.6 Show all…
Dependents (1)
@hackage/sessiontypes-distributed
This packages provides a deep embedded domain-specific language for writing session typed program. A session typed program is a program annotated with session types. A session type describes a communication protocol at the type-level. The motivation for doing so is that it gives you a static guarantee that a program correctly implements a protocol. It may even guarantee that no deadlocking can occur.