They really don’t. The linear logic paper is a classic but really not necessary for understanding the gist of session types.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Do, please, let us know when these slides are available to those of us who could not attend.
- 1 more reply
New conversation -
-
-
Anyone having trouble locating Turner’s 2005 paper may wish to consult his 1995 and 2004 works.
@edwinbradyhttps://github.com/mietek/total-functional-programming …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.