Profile

Cover photo
Philip Wadler
5,244,920 views
AboutPostsPhotosYouTube

Stream

Philip Wadler

Shared publicly  - 
 
After watching talks or videos of Propositions as Types, folk ask me how they can get their own Lambdaman t-shirt. In the past, I tried to make it available through various services, but they always rejected the design as a copyright violation. (It's not, it's fair use.) ...
2
1
Add a comment...

Philip Wadler

Shared publicly  - 
 
“John McCarthy presents Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I”, Painting, 1662, Ferdinand Bol. From Classic Programmer Paintings. Labels: Functional Programming, Graphics · # posted by Philip Wadler @ 4:58 PM. Comments: Post a Comment ...
13
5
Add a comment...

Philip Wadler

Shared publicly  - 
 
I was fortunate to attend a celebration of Ada Lovelace's 200th birthday at Oxford, featuring fantastic talks by Sydney Padua, Bernard Sufrin, Judith Grabiner, and many others. After the first session of three talks I thought "I wish all of those were longer", something I cannot remember ...
2
Add a comment...

Philip Wadler

Shared publicly  - 
 
I feel shy, humble, and honoured announcing this, but it's been pointed out to me that readers of this blog may find the following event of interest: LFCS 30 and WadlerFest. It looks like a fantastic line up. (I can say that because I've had nothing to do with it.) Many, many thanks to the ...
8
1
Add a comment...

Philip Wadler

Shared publicly  - 
1
Add a comment...

Philip Wadler

Shared publicly  - 
 
Paul Halmos offers excellent advice on refereeing, two tenets that he formed as a young referee and confirmed as an experienced editor: "be Boolean; be prompt". From "I want to be a mathematician: an automathography" by P. R. Halmos. Labels: Academia, Computing, Mathematics ...
4
4
Add a comment...

Philip Wadler

Shared publicly  - 
2
Michael Weber's profile photo
 
Photo is at CWI, right? 
Add a comment...
Basic Information
Gender
Male
Links
Contributor to