3 ms·ATS: Why Linear Types Are the Future of Systems Programming2 points by rscho 6y agorscho 6y agoIn 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.