Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.
| Autor: | STERLING, JONATHAN1 jmsterli@cs.cmu.edu, HARPER, ROBERT1 rwh@cs.cmu.edu |
|---|---|
| Zdroj: | Journal of the ACM. Dec2021, Vol. 68 Issue 6, p1-47. 47p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|