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