Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-2 of 2
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
17-Jul-2016Lightweight session programming in Scala (artifact)Scalas, Alceste; Yoshida, Nobuko
16-Jun-2017A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)Scalas, A; Dardha, O; Hu, R; Yoshida, N