Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact) (Englisch)
Freier Zugriff
- Neue Suche nach: Chen, Ruo Fei
- Weitere Informationen zu Chen, Ruo Fei:
-
https://orcid.org/0000-0001-5796-4386
- Neue Suche nach: Balzer, Stephanie
- Neue Suche nach: Toninho, Bernardo
- Weitere Informationen zu Toninho, Bernardo:
-
https://orcid.org/0000-0002-0746-7514
- Neue Suche nach: Chen, Ruo Fei
- Weitere Informationen zu Chen, Ruo Fei:
-
https://orcid.org/0000-0001-5796-4386
- Neue Suche nach: Balzer, Stephanie
- Neue Suche nach: Toninho, Bernardo
- Weitere Informationen zu Toninho, Bernardo:
-
https://orcid.org/0000-0002-0746-7514
- Neue Suche nach: Gorla, Alessandra
- Neue Suche nach: Winter, Stefan
- Weitere Informationen zu Winter, Stefan:
-
https://orcid.org/0000-0001-8244-995X
2022
-
ISSN:
- Forschungsdaten / Elektronische Ressource
-
Titel:Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
-
Beteiligte:Chen, Ruo Fei ( Autor:in ) / Balzer, Stephanie ( Autor:in ) / Toninho, Bernardo ( Autor:in ) / Gorla, Alessandra ( Herausgeber:in ) / Winter, Stefan ( Herausgeber:in )
-
Erschienen in:Dagstuhl Artifacts Series (DARTS) ; 8, 2 ; 14:1-14:2
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:23.06.2022
-
Format / Umfang:2 pages , 568833 byte
-
Anmerkungen:DARTS, Vol. 8, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 14:1-14:2
-
ISSN:
-
DOI:
-
Medientyp:Forschungsdaten
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Verwendet von:
-
Lizenzbestimmungen:
-
Datenquelle: