The Session Abstract Machine (Extended Version)

Luís Caires, Bernardo Toninho

We build on a fine-grained analysis of session-based interaction as provided by the linear logic typing disciplines to introduce the SAM, an abstract machine for mechanically execu…