Publication
Detail
Publication date: 02/08/2021Propositions-as-types and shared state
URL | https://doi.org/10.1145/3473584 |
---|---|
Journal | Numerical Algorithms |
Publisher | ACM |
Volume | 5 |
URL | https://doi.org/10.1145/3473584 |
Journal | Numerical Algorithms |
Publisher | ACM |
Volume | 5 |