Articles details

Propositions-as-types and shared state

02 Aug 2021

Publisher: ACM

Authors: Luis Caires, Pedro Rocha

Editors:

Volume: 5

Number:

Issn:

Isbn:

Url: https://doi.org/10.1145/3473584

Notes:

Bibtex Key: PT-LC-PR21

DOI:

Pages: 1 to 3

Publication Date: 2 Aug 2021