What Type Soundness Theorem Do You Really Want to Prove- - SIGPLAN Blog

Author(s):: Derek Dreyer, Amin Timany, Robbert Krebbers, Lars Birkedal, and Ralf Jung on Oct 17, 2019

For decades, researchers have syntactically proved type soundness to establish their type system works. This post shows why a semantic notion of type soundness is more appropriate, for covering abs…

Topics:: #podcast #pl #soundness #operational_semantics #semantic_typing #semantic_soundness #sigplan

date_saved:: 2024-09-11 14:16:43
date_published:: 2019-10-17 09:30:49