recent posts

typetitleauthorlast post sort icon
Forum topicOn constness Talin2014-10-13 20:58
Forum topicSNAPL, a new PL conference on "big-picture questions and long-running research programs" gasche2014-10-11 23:08
Forum topicPreaching to the already converted: Om raould2014-10-09 20:24
Forum topicA question of separation logic and monads Eric Biederman2014-10-06 04:44
Forum topicCFP: Off-the-Beaten-Track (OBT) workshop at POPL 2015 emery2014-10-05 18:14
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
StoryInferring algebraic effects Ohad Kammar2014-10-04 17:39
StoryDomain settings Ehud Lamm2014-10-04 11:26
Forum topicExperiment Ehud Lamm2014-10-01 17:10 Ohad Kammar2014-09-30 20:57