| Safe object initialization, abstractly | 0 | 0.34 | 2021 |
| A type-and-effect system for object initialization | 0 | 0.34 | 2020 |
| Simplicitly: foundations and applications of implicit function types | 0 | 0.34 | 2018 |
| Initialization patterns in Dotty. | 0 | 0.34 | 2018 |
| On the Soundness of Coroutines with Snapshots. | 0 | 0.34 | 2018 |
| Theory and Practice of Coroutines with Snapshots. | 1 | 0.36 | 2018 |
| A generic algorithm for checking exhaustivity of pattern matching (short paper). | 0 | 0.34 | 2016 |
