3 ms·
Langsec knows all about type theory: See https://www.youtube.com/watch?v=3kEfedtQVOY&feature=youtu.be&t=1135 https://www.youtube.com/watch?v=3kEfedtQVOY&featur
by noblethrasher 11y ago
Langsec knows all about type theory:
See https://www.youtube.com/watch?v=3kEfedtQVOY&feature=youtu.be&t=1135 https://www.youtube.com/watch?v=3kEfedtQVOY&feature=youtu.be... (about 90 seconds)
n.b. that Merideth Patterson, the speaker in that video, is one of the original authors of langsec.
- lmeyerov 11y agoI think that clip supports my statement.