Programs Split Over Multiple Files (featuring Troels Henriksen)
Apr 14, 2021 - 00:25:22
Radio and PodcastLive Radio & PodcastsTechnology
Code Generation (featuring Tikhon Jelvis)
Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular SMT solver, can run as proofs. Full of enthusiasm she invites the software engineer who gave that tal...
About This Episode
Code Generation (featuring Tikhon Jelvis) is an episode from Marianne Writes a Programming Language by Marianne Bellotti. Part of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular...
Podcast
This episode belongs to Marianne Writes a Programming Language.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Apr 7, 2021, 00:30:04 long, audio available.
Related Episodes
Continue listening to more episodes from Marianne Writes a Programming Language.
Uncertain Types part 2 (featuring Barak Michener and Eric Schles)
Mar 31, 2021 - 00:27:31
Uncertain Types part 1 (featuring Maria Gorinova)
Mar 24, 2021 - 00:24:03
Type Systems (featuring Ron Garcia)
Mar 17, 2021 - 00:24:28
Syntax Sugar (featuring James Houghton)
Mar 10, 2021 - 00:28:44
User Research for Programming Languages (featuring Michael Coblenz)
Dec 23, 2020 - 00:24:12
Exceptions Are Not Errors (featuring Smokey Jones)
Dec 16, 2020 - 00:23:39
From Parse Tree to Evaluator (featuring Sarah Withee)
Dec 9, 2020 - 00:25:48