What type soundness theorem do you really want to prove_

authors: Derek Dreyer, Amin Timany, Robert Krebbers, Lars Birkedal, Ralf Jung
year: 2019
url: https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove
publisher: ACM Sigplan
abstract: