typetitleauthor sort iconlast post
Forum topic(Even more) theorems for free? Andris Birkmanis2007-01-03 21:55
StoryMisc items Ehud Lamm2006-12-23 10:11
StoryLinear types for aliased resources Ehud Lamm2006-12-07 16:10
Forum topicProofs that do things genneth2006-11-28 11:36
Forum topicClorox - AJAX shared memory DanielMyers2006-10-23 23:29
Forum topicTradeoffs between Unique Types and Monads mjstahl2006-10-13 12:47
Forum topicSmall Value Set Types cdiggins2006-09-06 02:05
Forum topicAmusing question Ehud Lamm2006-07-08 19:19
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicQuestion about Lazy-ness and algorithmic runtime analysis Logan Capaldo2006-05-22 08:48
StoryTransactional Memory with data invariants (draft sequel to the STM-Haskell paper) shapr2006-05-17 12:42
Forum topicLambda the Ultimate Set Comprehension xyzzy2006-05-17 06:05
StoryE Thesis: Robust Composition Chris Rathman2006-04-21 07:16
Storyfoldl and foldr Noel2006-04-20 16:34
Forum topic System F with Type Equality Coercions genneth2006-04-13 21:14
Forum topicany functional language without GC? ninegua2006-04-08 20:09
Forum topicPurity in PLT Jim Apple2006-04-08 10:56
Forum topicGoogle Reader and "continuations" Ehud Lamm2006-03-29 08:58
StoryLock-Free Data Structures using STMs in Haskell Ehud Lamm2006-03-20 19:36
Forum topicJoel Spolsky views on CS education Andrei Formiga2006-01-20 20:55
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
StoryAccelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism Ehud Lamm2006-01-11 18:17
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
Forum topicGeometric Algebra Derek Elkins2005-11-04 00:16
Forum topicScalability genneth2005-10-20 15:26