Philip Wadler

Philip Wadler

homepages.inf.ed.ac.uk
2 Interviews

Philip Wadler's Interviews

Adam Gordon Bell & Philip Wadler 22 Oct 2018 • EN

Tech Talk: God's Programming Language - Philip Wadler on Haskell

Tech Talks are in-depth technical discussions. Today I talk to Professor Philip Wadler, a very accomplished programming language researcher.  Phil walks us through a principle that has guided his career.  That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something conne

60 min
00:00
01:00:53
No file found
Steven Proctor & Philip Wadler 15 Dec 2015 • EN

Philip Wadler

In this episode I talk with Professor Philip Wadler. We talk the correspondence between mathematics and computation, his research into concurrent distributed systems, and other research in the area with ABCD and BETTY.

30 min
00:00
30:51
No file found

Podcasts with Philip Wadler

Shout-outs

Add shout-out

Your shout-out can appear here. Consider telling everyone why Philip Wadler should be followed.

Possible Pairings

You might also be interested in