Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
TOPLAS 2017
Foreword
Andrew C. Myers
PDF
DOI
10.1145/3052720
dblp
BibTeX
Abstract
No abstract available.
Related papers
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors
ECOOP 2017
Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems"
TOPLAS 2018
On being a PhD student of Robert Harper
JFP 2022
