A Logical Approach to Type Soundness.
| Autor: | Timany, Amin1 (AUTHOR) timany@cs.au.dk, Krebbers, Robbert2 (AUTHOR) mail@robbertkrebbers.nl, Dreyer, Derek3 (AUTHOR) dreyer@mpi-sws.org, Birkedal, Lars1 (AUTHOR) birkedal@cs.au.dk |
|---|---|
| Zdroj: | Journal of the ACM. Dec2024, Vol. 71 Issue 6, p1-75. 75p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|