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.
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.