Philip Wadler

typetitleauthorlast post sort icon
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
Forum topicDefine it twice -- preemptive bughunting or waste of time? Ray Dillinger2013-06-15 09:31
Forum topicTwenty Reasons Why You Should Use Boxer (Instead of LOGO) Sean McDirmid2013-04-01 20:31
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
Forum topicProgramming with alternatives Robbert van Dalen2013-01-06 16:56
Forum topicAre nested SQL statements monads? sciomako2012-11-29 10:59
Forum topicOther free theorems Matt M2012-10-05 12:00
Forum topicTeaching challenge: culturally enriching formulae-as-types Charles Stewart2012-02-18 22:10
Forum topicStaking Claims: A History of Programming Language Design Claims and Evidence Sean McDirmid2011-04-19 23:40
Forum topicThe barrier to take-up of language innovation ad1mt2010-11-06 03:26
Forum topicComputational equivalent of incompleteness theorems? naasking2010-09-21 06:55
StoryWhat Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common neelk2010-09-09 13:41
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
StoryAn Innocent Model of Linear Logic Anton van Straaten2009-12-19 09:26
Forum topicICFP 2009 videos dpmulligan2009-10-06 05:15
StoryFLOPS 2006 Philip Wadler2005-09-16 18:29
StoryLinks Demos Matthew Morgan2005-07-01 15:11
StoryScottish Programming Language Seminar Philip Wadler2005-06-26 16:03
StoryTwo Thank Yous for Peter van Roy Philip Wadler2005-05-29 05:41
StoryThe Essence of Programming: Reynoldsfest at MFPS Philip Wadler2005-05-20 14:10
Forum topicLinks Philip Wadler2005-05-07 10:23