"Concatenative programming and stack-based languages" by Douglas Creager
40:40
"Morel, a functional query language" by Julian Hyde
43:58
"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
34:55
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
42:43
"Propositions as Types" by Philip Wadler
2:53:18
Is this the Future of Programming Languages?
1:04:19
"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
1:10:23
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
56:39