Stuck macros: deterministically interleaving macro-expansion and typechecking
June 2019
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
Curated as Language Design.
Watch this talk on YouTube.
September 2019
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PWLConf 2019 Link: Slides / Captions:
Related Talks
“A Little Taste of Dependent Types” by David Christiansen
October 2018“A Tale of Two Asyncs: Open Source Language Design in Rust and Node.js” by Ashley Williams
October 2018“Proof Theory Impressionism: Blurring the Curry-Howard Line” by Dan Pittman
October 2018“Gradual typing of Ruby at Scale” by Dmytro Petrashko and Paul Tarjan
October 2018Four Languages from Forty Years Ago - Scott Wlaschin
August 2018Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
September 2016Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On
July 2015Evan Czaplicki - Let’s be mainstream! User focused design in Elm - Curry On
July 2015John Myles White on Fundamental Concepts in Programming Languages
March 2015Arne Martin Aurlien: Implement an Esoteric Programming Language for Fun | JSConf EU 2014
November 2014“The Sociology of Programming Languages” by Leo Meyerovich
September 2014
