License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.14
URN: urn:nbn:de:0030-drops-162125
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16212/
Chen, Ruo Fei ;
Balzer, Stephanie ;
Toninho, Bernardo
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
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 artifact provides a VirtualBox image containing the snapshots of source code for Ferrite and Servo at the time the main paper was published.
BibTeX - Entry
@Article{chen_et_al:DARTS.8.2.14,
author = {Chen, Ruo Fei and Balzer, Stephanie and Toninho, Bernardo},
title = {{Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)}},
pages = {14:1--14:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Chen, Ruo Fei and Balzer, Stephanie and Toninho, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16212},
URN = {urn:nbn:de:0030-drops-162125},
doi = {10.4230/DARTS.8.2.14},
annote = {Keywords: Session Types, Rust, DSL}
}
Keywords: |
|
Session Types, Rust, DSL |
Collection: |
|
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 |