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: | |
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: |