Effective ATS: Session Combinators

gmhwxi · December 9, 2015, 6:20am

This article on session combinators will be gradually expanded:

gmhwxi · December 11, 2015, 7:00pm

At this point, this article on session combinators is largely finished.

Cheers!On Wednesday, December 9, 2015 at 1:20:15 AM UTC-5, gmhwxi wrote:

This article on session combinators will be gradually expanded:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/ssntyped-channels-2/index.html

Topic		Replies	Views
Effective ATS: Session-typed Channels Google Group	2	419	November 26, 2015
Effective ATS Google Group	2	299	December 30, 2013
Effective ATS: Parsing combinators of CPS-style Google Group	0	429	December 26, 2015
List-folding combinators Google Group	0	417	February 25, 2016
Encoding propositional logic Google Group	0	405	December 16, 2015