Snippets tagged session types

  • Session types

    This snippet is a direct adaptation of Nick Palladinos' Session Types found in 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: 10 years ago by Eirik Tsarpalis