The latest version of sessiontypes is 0.1.2-1.
sessiontypes
Version 0.1.1 revision 0 uploaded by ferdinandvw.
Package meta
- Synopsis
- Session types library
- Description
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.
- Author
- Ferdinand van Walree
- Bug reports
- n/a
- Category
- Control
- Copyright
- 2017 Ferdinand van Walree
- Homepage
- https://github.com/Ferdinand-vW/sessiontypes#readme
- Maintainer
- Ferdinand van Walree
- Package URL
- n/a
- Stability
- n/a