| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | ESOP 2019: Programming Languages and Systems |
| DOIs | |
| Publication status | Published - 2019 |
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order
Alan Mycroft
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review