typetitleauthor sort iconlast post
Forum topicLALR grammar of C++ chinu2013-06-17 18:49
StoryObservational Equality, Now! James Iry2013-05-16 02:24
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
StoryOmega - Language of the Future Manuel J. Simoni2010-10-01 13:17
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicBest Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! kaveh.shahbazian2009-09-25 08:54
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
Forum topicQ: Modularizing SQL? sciomako2008-11-15 13:40
StoryGrady Booch: Software Engineering Grand Challenges Ehud Lamm2008-04-27 18:35
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