Minimal Session Types

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
75 Downloads (Pure)
Original languageEnglish
Title of host publication33rd European Conference on Object-Oriented Programming (ECOOP 2019)
EditorsAlastair F. Donaldson
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Number of pages50
ISBN (Print)978-3-95977-111-5
Publication statusPublished - 2019

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Cite this