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