#PLTalk
RSS
Archive
Subscribe
Idris, Dependent Types, and Quantitative Type Theory, with Edwin Brady
August 8, 2020
This week on #PLTalk, @jeanqasaur invited Edwin Brady to speak about his work on the Idris programming language. As always, a recording of the stream is...
Semantic Patches and Static Analysis, Featuring Yoann Padioleau
August 1, 2020
This week on #PLTalk, @jeanqasaur and @hongyihu interviewed Yoann Padioleau about his work on Coccinelle and Semgrep. A recording is available here....
Refinement Types and Program Synthesis, Featuring Nadia Polikarpova
July 25, 2020
Every week @jeanqasaur hosts a really incredible Twitch stream where her and @hongyihu discuss programming language theory, and try to make it accessible to...