Last Episodes
#48 Bell Labs
David MacQueen
#47 The History of LCF, ML and HOPE
David MacQueen
All Episodes
Pierre-Marie Pédrot
Pierre-Marie Pédrot
Mario Carneiro
Patrick and Eric
Fabrizio Montesi
Satnam Singh
Joe Kiniry
David Christiansen
David Christiansen
Guannan Wei
Pedro Abreu
Eduardo Rafael
Andrew Marmaduke
Leo de Moura
Jan de Muijnck-Hughes
Jan de Muijnck-Hughes
Dan and Pedro
Jimmy Koppel
Pruvendo
Gerwin Klein
Kevin Buzzard
Formal Land
Lawrence Paulson
Jens Palsberg and Jonathan Aldrich
Cody Roux
Conal Elliott
Dan R. Ghica
Patrick and Supun
Cody Roux
Conal Elliott
Jesper Cockx
Nitin and Eric
Nitin and Eric
John Wiegley
Talia Ringer
Alejandro Serrano
Thorsten Altenkirch and Anupam Das
Anupam Das
Chris Jenkins
Dan Matichuk
Zeina Migeed
Yves Bertot
Eric Bond
Dan Zheng
Rajan Walia and John Sarracino
Prof. Ben Delaware
Pedro Abreu