recent posts

typetitle sort iconauthorlast post
Forum topicCurrying != Generalized Partial Application?! cdiggins2008-10-29 20:58
Forum topicCurry/Howard and Disjunction Daniel Slaney2005-11-02 16:48
Forum topicCurry Howard and more powerful type systems Brandon Niemczyk2010-03-24 19:06
Forum topicCurrent "hot" topics in parallel programming? Michael Lesniak2008-11-21 09:00
Forum topicCurrent "best books on FP"? vputz2007-07-29 18:19
StoryCUFP write-up Ehud Lamm2007-12-17 01:27
StoryCUFP 2012 Tutorials Ehud Lamm2012-08-27 14:42
Forum topicCUFP 2010 yminsky2010-08-04 21:03
StoryCTM wiki Ehud Lamm2005-02-07 16:18
StoryCTM tour during the week of Nov. 7 Peter Van Roy2005-08-02 16:00