Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)

Autor:	Chen, Ruo Fei, Balzer, Stephanie, Toninho, Bernardo
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	DSL Theory of computation → Linear logic Rust Session Types ComputerApplications_COMPUTERSINOTHERSYSTEMS Software and its engineering → Domain specific languages Theory of computation → Type theory Software and its engineering → Concurrent programming languages
DOI:	10.4230/darts.8.2.14
Popis:	This artifact provides a VirtualBox image containing the snapshots of source code for Ferrite and Servo at the time the main paper was published. DARTS, Vol. 8, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 14:1-14:2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4b3437d3169d4848e3c47e5526dd8819 Zobrazit plný text záznamu