Minimal Session Types

Alen Arslanagic; Jorge A. Pérez; Erik Voogd

doi:10.4230/LIPIcs.ECOOP.2019.23

Minimal Session Types

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Fundamental Computing

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

2 Citations (Scopus)

75 Downloads (Pure)

Original language	English
Title of host publication	33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Editors	Alastair F. Donaldson
Place of Publication	Dagstuhl, Germany
Publisher	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Number of pages	50
ISBN (Print)	978-3-95977-111-5
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2019.23
Publication status	Published - 2019

Publication series

Name	Leibniz International Proceedings in Informatics (LIPIcs)
Publisher	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume	134

Access to Document

10.4230/LIPIcs.ECOOP.2019.23Licence: CC BY

Minimal Session TypesFinal publisher's version, 780 KBLicence: CC BY

Handle.net

Persistent link

Session Types and Higher-Order Concurrency
Jorge Perez Parra (Invited speaker)
24-Feb-2021
Activity: Talk and presentation › Academic presentation › Academic

Cite this

@inproceedings{4923640b2798468da182b80d4eb97f67,

title = "Minimal Session Types",

author = "Alen Arslanagic and P{\'e}rez, {Jorge A.} and Erik Voogd",

year = "2019",

doi = "10.4230/LIPIcs.ECOOP.2019.23",

language = "English",

isbn = "978-3-95977-111-5",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",

editor = "Donaldson, {Alastair F.}",

booktitle = "33rd European Conference on Object-Oriented Programming (ECOOP 2019)",

}

Minimal Session Types. / Arslanagic, Alen ; Pérez, Jorge A.; Voogd, Erik.

33rd European Conference on Object-Oriented Programming (ECOOP 2019). ed. / Alastair F. Donaldson. Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2019. (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 134).

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

TY - GEN

T1 - Minimal Session Types

AU - Arslanagic, Alen

AU - Pérez, Jorge A.

AU - Voogd, Erik

PY - 2019

Y1 - 2019

U2 - 10.4230/LIPIcs.ECOOP.2019.23

DO - 10.4230/LIPIcs.ECOOP.2019.23

M3 - Conference contribution

SN - 978-3-95977-111-5

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

BT - 33rd European Conference on Object-Oriented Programming (ECOOP 2019)

A2 - Donaldson, Alastair F.

PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany

CY - Dagstuhl, Germany

ER -

Minimal Session Types

Publication series

Access to Document

Handle.net

Activities

Session Types and Higher-Order Concurrency

Cite this