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
“Gradual typing of Ruby at Scale” by Dmytro Petrashko and Paul Tarjan
October 2018“Running With Scissors: Live Coding With Data” by Stuart Halloway
October 2018Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
September 2016GOTO 2013 • Syntaxation • Douglas Crockford
October 2015“Eve” by Chris Granger
September 2015“Pixie - A Lightweight Lisp with ‘Magical’ Powers” by Timothy Baldridge
September 2015“I See What You Mean” by Peter Alvaro
September 2015“Propositions as Types” by Philip Wadler
September 2015Philip 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 2015
