Matthew Willson

typetitle sort iconauthorlast post
Forum topicQuotation and evaluation -- or, how pure is the pure lambda calculus? Lucius Gregory Meredith2007-01-04 11:24
Forum topicQuestion About Computational Complexity Matteo2007-01-03 22:31
Forum topicModeling and Typing Combinatory Calculus cdiggins2006-12-22 21:01
Forum topicAbstractly typed languages Matthew Willson2006-12-15 04:58
Forum topicDesigning a Programming Textbook cdiggins2006-10-02 19:26
Forum topicConstant Values as Types cdiggins2006-09-04 10:29
StoryLinks: Web Programming Without Tiers Ehud Lamm2006-05-04 00:15
Forum topicThe fundamental difference between Sets and Lists? Robbert van Dalen2006-04-27 12:55
StoryAn Operational Foundation for Delimited Continuations in the CPS Hierarchy Andris Birkmanis2005-12-24 15:00
Forum topicIs this a new programming paradigm mansu2005-12-22 01:17
Forum topicType Nomenclature David B. Held2005-11-09 11:06
Forum topicWould LISP/FP help here? Laurent Bruter2005-11-02 14:44
Forum topicParsing and syntax reordering kruhft2005-11-01 18:12
Forum topic"The Anatomy of a Loop" el-vadimo2005-10-09 19:02
Forum topicTable Oriented Programming mansu2005-09-28 02:41
Forum topicCategory theory Matthew Willson2005-09-27 19:22
Forum topicMost Productive FP Lang? David B. Held2005-09-26 03:14
StoryRuby on Rails: An Interview with David Heinemeier Hansson Ehud Lamm2005-09-10 18:10
Forum topicThe Complexity Zoo Andris Birkmanis2005-07-28 04:17
Forum topicWhy recursing is better than looping johnnyb2005-06-29 20:27
StoryHappy Birthday, PHP... Dominic Fox2005-06-11 23:20
Forum topicMore sites like Lambda Matthew Willson2005-05-12 06:46
StoryThe Language of Biology Chris Rathman2004-09-28 17:47