The Completeness Paper is Accepted / Meet me at ICFP

Pre-Print Here

Our completeness paper has been accepted (already a while ago) at ICFP, held in August in Indianapolis. I’ll give the talk, so feel free to come and meet me there. If you can’t wait for the talk, you can read the paper (above) or look at the slides of the talk my coauthor Zichen gave at the Iris workshop last month.