Linear-use CPS translations in the enriched effect calculus
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
| Original language | English |
|---|---|
| Journal | Logical Methods in Computer Science |
| Volume | 8 |
| Issue number | 4 |
| ISSN | 1860-5974 |
| Publication status | Published - 2012 |
ID: 32333725