ATS: Why Linear Types Are the Future of Systems Programming

In response to today's checked C submission. In this video, the speaker decomposes ATS to show that it is really an ML shell over C code.