Philip Wadler: What does logic have to do with Java? [video]youtube.com3 points·parenthesis··0 commentsOpen articleSaveView on HN