In proceedings details

A Decade of Dependent Session Types

Oct 2021

Organization: ACM

Publisher: ACM

Authors: Bernardo Toninho, Luis Caires, Frank Pfenning

Editors: Niccolo Veltri, Nick Benton, Silvia Ghilezan

Series:

Volume:

ISSN:

ISBN: 978-1-4503-8689-0

Url: https://doi.org/10.1145/3479394.3479398

Notes:

Bibtex Key:

DOI: 10.1145/3479394.3479398

Pages: 1 to 3

Publication Date: 5 Oct 2021

Publication File: