Complete trace models of state and control
<p>We consider a hierarchy of four typed call-by-value languages with either higher-order or ground-type references and with either call/cc or no control operator.</p> <p>Our first result is a fully abstract trace model for the most expressive setting, featuring both higher-ord...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Springer
2021
|