Videos tagged scheme

William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] Video 2017-05-24
Michael Bernstein on Propositions as Types Video 2015-09-02
Sam Tobin-Hochstadt on Composable and Compilable Macros Video 2015-02-12