A decade of dependent session types

Bernardo Toninho; Luís Caires; Frank Pfenning

doi:10.1145/3479394.3479398

A decade of dependent session types

Bernardo Toninho, Luís Caires, Frank Pfenning

NOVALincs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation
Publisher	ACM - Association for Computing Machinery
ISBN (Electronic)	9781450386890
DOIs	https://doi.org/10.1145/3479394.3479398
Publication status	Published - 6 Sept 2021
Event	23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 - Virtual, Online, Estonia Duration: 6 Sept 2021 → 8 Sept 2021

Publication series

Name	ACM International Conference Proceeding Series
Publisher	Association for Computing Machinery

Conference

Conference	23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021
Country/Territory	Estonia
City	Virtual, Online
Period	6/09/21 → 8/09/21

Keywords

Dependent Types
Linear Logic
Session Types

Access to Document

10.1145/3479394.3479398

Cite this

Toninho, B., Caires, L., & Pfenning, F. (2021). A decade of dependent session types. In Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation Article 3479398 (ACM International Conference Proceeding Series). ACM - Association for Computing Machinery. https://doi.org/10.1145/3479394.3479398

Toninho, Bernardo ; Caires, Luís ; Pfenning, Frank. / A decade of dependent session types. Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation. ACM - Association for Computing Machinery, 2021. (ACM International Conference Proceeding Series).

@inproceedings{e3d91a5f03144e458929b31d70df657a,

title = "A decade of dependent session types",

keywords = "Dependent Types, Linear Logic, Session Types",

author = "Bernardo Toninho and Lu{\'i}s Caires and Frank Pfenning",

note = "Funding Information: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT# ; 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 ; Conference date: 06-09-2021 Through 08-09-2021",

year = "2021",

month = sep,

day = "6",

doi = "10.1145/3479394.3479398",

language = "English",

series = "ACM International Conference Proceeding Series",

publisher = "ACM - Association for Computing Machinery",

booktitle = "Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation",

address = "United States",

}

Toninho, B , Caires, L & Pfenning, F 2021, A decade of dependent session types. in Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation., 3479398, ACM International Conference Proceeding Series, ACM - Association for Computing Machinery, 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, Virtual, Online, Estonia, 6/09/21. https://doi.org/10.1145/3479394.3479398

A decade of dependent session types. / Toninho, Bernardo ; Caires, Luís; Pfenning, Frank.
Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation. ACM - Association for Computing Machinery, 2021. 3479398 (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A decade of dependent session types

AU - Toninho, Bernardo

AU - Caires, Luís

AU - Pfenning, Frank

N1 - Funding Information: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT#

PY - 2021/9/6

Y1 - 2021/9/6

KW - Dependent Types

KW - Linear Logic

KW - Session Types

UR - http://www.scopus.com/inward/record.url?scp=85117686955&partnerID=8YFLogxK

U2 - 10.1145/3479394.3479398

DO - 10.1145/3479394.3479398

M3 - Conference contribution

AN - SCOPUS:85117686955

T3 - ACM International Conference Proceeding Series

BT - Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation

PB - ACM - Association for Computing Machinery

T2 - 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021

Y2 - 6 September 2021 through 8 September 2021

ER -

Toninho B , Caires L, Pfenning F. A decade of dependent session types. In Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation. ACM - Association for Computing Machinery. 2021. 3479398. (ACM International Conference Proceeding Series). doi: 10.1145/3479394.3479398

A decade of dependent session types

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this