recent posts

typetitleauthor sort iconlast post
StoryThe IO Monad is 45 years old Z-Bo2011-01-10 10:34
Forum topicWhat data sets would tell you the most about what sort of programming language to design? Z-Bo2010-02-20 20:59
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
StoryThe Recruitment Theory of Language Origins Z-Bo2010-02-03 07:25
Forum topicTwo new tags Z-Bo2010-01-27 06:26
StoryScalaModules: a DSL for bringing OSGi to Scala Z-Bo2010-01-12 16:39
Forum topicHigh-Level Nondeterministic Abstractions in C++ zayenz2006-07-04 08:03
Forum topicLearn python to implement a complicated static code analyzer zell08v2012-03-30 20:10
Forum topicIs there a site to discuss some issues on abstract interpretation? zell08v2010-05-08 19:32
Forum topicDo you happen to hear about pre-equivalence? zell08v2010-10-28 22:51