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 |