Machine-Checked Semantic Session Typing

Jonas Kastberg Hinrichsen
, Daniël Louwrink
, Robbert Krebbers
, Jesper Bengtson

Programming Logic and Semantics

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

1 resultater
- Titel
- Startdato(stigende)

CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software