Snippets tagged session types
-
Session Types in F#
An implementation of session types in F#. Inspired from the paper "Haskell Session Types with (Almost) No Class"
6 people like this
Like the snippet!Posted: 10 years ago by Nick Palladinos
-
Indexed Monads and Applications in F#
Continuing from Nick Palladinos' session types, this snippet is an implementation of indexed monads in F#, as well as a collection of examples that demonstrate its utility: session types, type-safe serialization and reversible workflows.
6 people like this
Like the snippet!Posted: 10 years ago by Eirik Tsarpalis
-
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
Like the snippet!Posted: 10 years ago by Eirik Tsarpalis