Deriving pretty-big-step semantics from small-step semantics
| Date first appeared online | 30/04/2014 |
| DOI | 10.1007/978-3-642-54833-8_15 |
| Authors | Mosses P. |
| Journal Name | Programming Languages and Systems |
| Volume | 8410 |
| Date first appeared online | 30/04/2014 |
| DOI | 10.1007/978-3-642-54833-8_15 |
| Authors | Mosses P. |
| Journal Name | Programming Languages and Systems |
| Volume | 8410 |