Wadler's Blog

30.1.20

A Profound Pun

My attempt to explain Propositions as Types to a general audience. Recorded at Bright Club, The Stand, Edinburgh, 23 September 2019.

Labels: Comedy, Functional Programming, Logic, Programming Languages, Types

# posted by Philip Wadler @ 11:42 PM 0 comments

• Atom feed for this blog
• Wadler's home page
• @PhilipWadler
• Towards Independence
• Informatics@Edinburgh

archives

• December 2004
• January 2005
• February 2005
• March 2005
• April 2005
• May 2005
• June 2005
• July 2005
• August 2005
• September 2005
• October 2005
• November 2005
• December 2005
• January 2006
• February 2006
• March 2006
• April 2006
• May 2006
• June 2006
• July 2006
• August 2006
• September 2006
• October 2006
• November 2006
• December 2006
• January 2007
• February 2007
• March 2007
• April 2007
• May 2007
• July 2007
• August 2007
• September 2007
• October 2007
• November 2007
• December 2007
• January 2008
• February 2008
• March 2008
• April 2008
• June 2008
• September 2008
• October 2008
• November 2008
• December 2008
• January 2009
• February 2009
• March 2009
• April 2009
• May 2009
• June 2009
• July 2009
• August 2009
• September 2009
• October 2009
• November 2009
• December 2009
• January 2010
• February 2010
• March 2010
• April 2010
• May 2010
• June 2010
• July 2010
• August 2010
• September 2010
• November 2010
• December 2010
• January 2011
• February 2011
• March 2011
• April 2011
• June 2011
• July 2011
• August 2011
• September 2011
• October 2011
• November 2011
• December 2011
• January 2012
• February 2012
• March 2012
• April 2012
• May 2012
• June 2012
• July 2012
• August 2012
• September 2012
• October 2012
• November 2012
• December 2012
• January 2013
• February 2013
• March 2013
• April 2013
• May 2013
• June 2013
• August 2013
• September 2013
• October 2013
• November 2013
• December 2013
• January 2014
• February 2014
• March 2014
• April 2014
• May 2014
• June 2014
• July 2014
• August 2014
• September 2014
• October 2014
• November 2014
• December 2014
• January 2015
• February 2015
• March 2015
• April 2015
• May 2015
• June 2015
• July 2015
• September 2015
• October 2015
• November 2015
• December 2015
• January 2016
• February 2016
• March 2016
• April 2016
• May 2016
• June 2016
• July 2016
• August 2016
• September 2016
• October 2016
• November 2016
• December 2016
• March 2017
• June 2017
• July 2017
• November 2017
• December 2017
• March 2018
• May 2018
• June 2018
• July 2018
• August 2018
• September 2018
• October 2018
• December 2018
• March 2019
• May 2019
• August 2019
• October 2019
• December 2019
• January 2020
• March 2020
• April 2020
• May 2020
• June 2020
• July 2020
• August 2020
• September 2020
• October 2020
• December 2020
• January 2021
• February 2021