Lament Configuration
source
log in
What Type Soundness Theorem Do You Really Want to Prove? | SIGPLAN Blog
https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/
programming
2019-10-17 15:14:31
—
@moltar
