Snippets tagged session types

  • Session types

    This snippet is a direct adaptation of Nick Palladinos' Session Types found in http://fssnip.net/j5. The implementation eschews the need for explicit declaration of duality objects by encoding all relevant information in the session signature itself.

    3 people like this

    Posted: 4 years ago by Eirik Tsarpalis