Login

Detail

Publication date: 05/10/2021

A Decade of Dependent Session Types

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning, Niccolo Veltri, Nick Benton, Silvia Ghilezan,

URL	https://doi.org/10.1145/3479394.3479398
Publisher	ACM
ISBN	978-1-4503-8689-0
Organization	ACM
URL	https://doi.org/10.1145/3479394.3479398
Publisher	ACM
ISBN	978-1-4503-8689-0
Organization	ACM