Profile

Cover photo
Philip Wadler
5,053,589 views
AboutPostsPhotosYouTube

Stream

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...

Philip Wadler

Shared publicly  - 
 
In some ways, this list should be considered just another research list, such as the TYPES forum. This space can be used for research questions, literature guidance, starting collaborative efforts, introductions and updates to current research projects, open-ended philosophical questions about ...
2
Bas Dirks's profile photo
 
Great initiative
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...
Basic Information
Gender
Male
Links
Contributor to