lmeyerov

typetitleauthorlast post sort icon
Forum topicsome critiques of the Semat initiative el-vadimo2010-06-16 09:30
StoryThe Resurgence of Parallelism Allan McInnes2010-06-09 17:59
Forum topic"Critical code studies" Travis Brown2010-05-19 18:29
Forum topicComputing complexity giuseppemag2010-05-11 20:38
Forum topicIs there a site to discuss some issues on abstract interpretation? zell08v2010-05-08 19:32
Forum topicUniversal Temporal Concurrent Constraint Programming dmbarbour2010-05-08 17:17
StoryThe Structure of Authority: Why security is not a separable concern naasking2010-05-07 21:39
Forum topicHipHop: Facebook runs compiled PHP on its servers Carlos Scheidegger2010-05-07 12:03
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topicAdd "unit time delay (D)" operator to functional language with random signals instead of random vars Andries2010-04-29 12:20
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicIdeas for a PL-oriented honors thesis Shrutarshi Basu2010-04-17 14:10
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicReactive Extensions for .NET released this week Wolf Logan2010-03-18 15:28
Forum topiclarge-scale programming systems inspired by ecological and market systems Ray Dillinger2010-03-07 07:13
Forum topicTesting release of a platform for hosting pure functional web applications Adam Chlipala2010-02-26 23:30
Forum topicErik Meijer's MSDN Channel 9 lecture series on functional programming Z-Bo2010-02-26 18:20
Forum topicWhat data sets would tell you the most about what sort of programming language to design? Z-Bo2010-02-20 20:59
StoryGoogle TechTalk: The Evolution of End-User Programming Z-Bo2010-02-16 14:05
Forum topicRapid Prototyping tools & environments from academia Z-Bo2010-02-09 23:45
StoryContinuity Analysis of Programs neelk2010-02-09 04:12
Forum topicClutter Toolkit lmeyerov2010-02-05 16:48
Forum topicComputational complexity of cascading stylesheets? Z-Bo2010-02-05 03:21
Forum topicOracles Jack Waugh2010-02-03 18:31
Forum topicLISP and parentheses Budsy2010-02-02 19:11