BibTeX
CSL-JSON
MLA
Harvard
Verifying message-passing programs with dependent behavioural types
release_o64i4g4flfbx7kkvbrz3ppyyp4
by
Alceste Scalas, Nobuko Yoshida, Elias Benussi
Published
in ACM-SIGPLAN Symposium on Programming Language Design and Implementation by ACM Press.
2019 p502-516
Archived Files and Locations
application/pdf 1.3 MB
file_dybxdadrkzf63k76uxjwazkywa
|
publications.aston.ac.uk (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2019
paper-conference
Stage
published
Year 2019
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar