dmbarbour

typetitleauthorlast post sort icon
StoryLanguages and security: a short reading list James Iry2009-03-22 17:02
StoryC++ Futures Chris Rathman2009-03-19 15:25
Forum topicUsing coalgebraic structures for traversing ADTs lazily marco2009-03-10 01:49
Forum topicDao, the official 1.0 version is released Limin Fu2009-03-08 18:32
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
Forum topicFirst-Class Patterns naasking2009-02-23 11:07
StoryParameterized Notions of Computation neelk2009-02-17 19:38
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicOn the (Im)possibility of Obfuscating Programs Jason Dusek2009-02-11 04:08
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09
Forum topicHow best to add a record type to my typed Scheme variant? Sam Rushing2009-02-06 21:00
Forum topicIntroducing Dawn - yet another new language Poul Krogh2009-02-06 09:07
Forum topicTagged Arithmetic Optimization naasking2009-02-04 22:32
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Forum topicI'm from china and I'm working on a new programming language "Zero" guy_from_china2009-01-31 08:31
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
Story2008 In Review - What Happened with Programming Languages? James Iry2009-01-28 12:15
Forum topicCWE/SANS TOP 25 Most Dangerous Programming Errors Koray Can2009-01-23 20:35
Forum topicwhat causes really wide pages? raould2009-01-23 20:25
Forum topicQuestion concerning parameterization over literals shap2009-01-23 19:27
Forum topicMacro systems cdiggins2009-01-22 17:50
Forum topicNested functions - how many nesting levels are really needed? strog2009-01-22 12:00
StoryUsing Promises to Orchestrate Web Interactions Ehud Lamm2009-01-22 04:07
Forum topicCompilation/method resolution with structural subtyping scottmcl2009-01-20 19:33
Forum topicWeird computability problem relating to state + lambda calculus ellisk2009-01-17 14:17