January 12, 2017

Tiark’s papers on Type Soundness Proofs with Definitional Interpreters and LMS-Verify are both accepted to POPL 2017.