Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.15
URN: urn:nbn:de:0030-drops-162137
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16213/
Jacobs, Jules
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
This is the artifact description for the paper "A Self-Dual Distillation of Session Types". The artifact consists of mechanized proofs of the theorems listed in the paper, in the Coq proof assistant.
BibTeX - Entry
@Article{jacobs:DARTS.8.2.15,
author = {Jacobs, Jules},
title = {{A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)}},
pages = {15:1--15:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Jacobs, Jules},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16213},
URN = {urn:nbn:de:0030-drops-162137},
doi = {10.4230/DARTS.8.2.15},
annote = {Keywords: Linear types, concurrency, lambda calculus, session types}
}
| Keywords: | Linear types, concurrency, lambda calculus, session types | |
| Seminar: | DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) | |
| Issue date: | 2022 | |
| Date of publication: | 23.06.2022 |
