typetitleauthor sort iconlast post
StoryDerivatives and dissections of data types Andris Birkmanis2008-04-23 00:45
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
Forum topicUniqueness Types Instead STM kaveh.shahbazian2007-10-12 22:59
Forum topicFormal methods for O/R mapping Andris Birkmanis2007-08-19 00:29
Forum topicWrapping the Cloud with .NET Isaac Gouy2007-07-30 01:35
StoryInteractivity considered harmful Jacques Carette2007-05-21 20:15
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
StoryThe design of C++0x Ehud Lamm2007-04-20 16:08
StoryYesno Jim Apple2007-04-10 13:36
Forum topicWhy do they program in C++? David Waern2007-02-19 12:09
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