This code is a formalisation in Agda that accompanies the paper "Using session types as an effect system" by Orchard and Yoshida in PLACES 2015.
Mainly this is contained in the places15 directory. Appendix B of the paper gives some explanation.
dorchard/effects-as-sessions
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|