| No. |
Title |
Author |
Year |
| 1 |
Gradual Program Analysis for Null Pointers |
Estep, Sam et al. |
2021 |
| 2 |
A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language |
Kambhatla, Gauri et al. |
2020 |
| 3 |
Designing Declarative Language Tutorials: A Guided and Individualized Approach |
Cohen, Anael Kuperwajs et al. |
2020 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Chasins, Sarah et al. |
2020 |
| 5 |
OASIcs, Vol. 76, PLATEAU 2019, Complete Volume |
Chasins, Sarah et al. |
2020 |
| 6 |
Front Matter, Table of Contents, Preface, Conference Organization |
Barik, Titus et al. |
2019 |
| 7 |
OASIcs, Volume 67, PLATEAU'18, Complete Volume |
Barik, Titus et al. |
2019 |
| 8 |
Toward Semantic Foundations for Program Editors |
Omar, Cyrus et al. |
2017 |
