"everything old is new again: quoted domain specific languages" by philip wadler
Published 9 years ago • 22K plays • Length 41:55Download video MP4
Download video MP3
Similar videos
-
39:07
philip wadler - everything old is new again: quoted domain specific languages - curry on
-
42:43
"propositions as types" by philip wadler
-
41:40
"categories for the working hacker" by philip wadler
-
39:37
"is my large language model a strange loop?" by zac hatfield-dodds (strange loop 2023)
-
11:21
l-diag is not turing recognisable
-
52:08
"what is a strange loop and what is it like to be one?" by douglas hofstadter (2013)
-
3:54
the circle in the zen tradition, kazuaki tanahashi
-
37:03
"enso: composing dsl interpreters, languages & aspects" by william cook (2013)
-
53:06
keynote: programming languages in agda = programming (...) - philip wadler | lambda days 2021
-
51:37
"all the languages together" by amal ahmed
-
51:22
troy gerwien - the limits of my [programming] language mean the limits of my world
-
2:55
strange loop update jan 19, 2021
-
2:59
everything old is new again.
-
1:03:41
philip wadler: church's coincidences
-
44:23
"hazel: a live functional programming environment with typed holes" by cyrus omar