A decade of dependent session types

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

1 Citation (Scopus)
Original languageEnglish
Title of host publicationProceedings 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
PublisherAssociation for Computing Machinery
ISBN (Electronic)9781450386890
DOIs
Publication statusPublished - 6 Sep 2021
Event23rd 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 Sep 20218 Sep 2021

Publication series

NameACM International Conference Proceeding Series

Conference

Conference23rd 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/TerritoryEstonia
CityVirtual, Online
Period6/09/218/09/21

Keywords

  • Dependent Types
  • Linear Logic
  • Session Types

Cite this