The Golden Age of PL Research
I was chatting with a PhD student while back, who remarked to me that many senior PL researchers seemed stuck in a defensive crouch. I thoug...
Semantic Type Soundness and Language Interoperability
Notes by Amal Ahmed (OPLSS)