Programming digital contracts comes with unique challenges, which include (i) expressing
and enforcing protocols of interaction,(ii) controlling resource usage, and (iii) preventing the …

Traditional session types prescribe bidirectional communication protocols for concurrent
computations, where well-typed programs are guaranteed to adhere to the protocols. Recent …

Polarized SILL is a programming language that combines functional programming with
session-typed message-passing concurrency. It features general recursion; code and …

Communicating systems are ubiquitous, and they bring human lives inestimable value.
Despite this, they often go wrong, sometimes with severe consequences. They are hard to …

Síntese de alto nível é considerada o próximo passo lógico em design de hardware, mas os
resultados, em geral, ainda não são tão bons quanto ao que a indústria necessita …

Introduction e proofs-as-programs correspondence between linear logic and the session-
typed π-calculus is the foundation of many programming languages [TCP; Wad; CP; TY a] …