Lambda the Ultimate

type	title	author	last post
Forum topic	Teaching challenge: culturally enriching formulae-as-types The last lecture to my first by Philip Wadler	Charles Stewart	2012-02-10 22:36
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence Source for Alan Kay story by Philip Wadler	Sean McDirmid	2011-04-19 23:40
Forum topic	The barrier to take-up of language innovation Why no one uses functional languages by Philip Wadler	ad1mt	2010-11-06 03:26
Forum topic	Computational equivalent of incompleteness theorems? See Hoare on Incomputability by Philip Wadler	naasking	2010-09-21 06:55
Story	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common Variations on a theme by Philip Wadler	neelk	2010-09-09 13:41
Forum topic	Seeking thoughtful criticisms of functional programming and languages How enterprises use functional languages, and why they don't by Philip Wadler	scottmcl	2010-06-12 03:39
Forum topic	SEC interested in formalising contracts ... in Python The Bull, the Bear, and the Python by Philip Wadler	Noel	2010-05-06 12:56
Story	An Innocent Model of Linear Logic Sequential vs parallel by Philip Wadler	Anton van Straaten	2009-12-19 09:26
Forum topic	ICFP 2009 videos Hurrah, Graham and Malcolm! by Philip Wadler	dpmulligan	2009-10-06 05:15
Story	FLOPS 2006	Philip Wadler	2005-09-16 18:29
Story	Links Demos More feedback, please! by Philip Wadler Thank you! by Philip Wadler So what are the real issues? by Philip Wadler	Matthew Morgan	2005-07-01 15:11
Story	Scottish Programming Language Seminar	Philip Wadler	2005-06-26 16:03
Story	Two Thank Yous for Peter van Roy	Philip Wadler	2005-05-29 05:41
Story	The Essence of Programming: Reynoldsfest at MFPS	Philip Wadler	2005-05-20 14:10
Forum topic	Links	Philip Wadler	2005-05-07 10:23
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation