Brendan Zabarauskas@brendanzabTwo lovely presentations from @splashcon that show off some creative approaches to getting around hairy problems in type soundness proofs: - A Simple Soundness Proof for DOT by @amaurremi: https://youtube.com/watch?v=9qDGZlbAoZ4… - Unifying Typing and Subtyping:youtube.comUnifying Typing and SubtypingYanpeng Yang, Bruno C. d. S. OliveiraIn recent years dependent types have become a hot topic in programming language research. A key reason why dependent typ...5:16 AM · Nov 11, 2017·Twitter Web Client
