recent posts

typetitleauthorlast post sort icon
StoryEATCS Award 2014: Gordon Plotkin Ehud Lamm2014-10-20 12:53
Forum topicTaking Back Control (Flow) of Reactive Programming Sean McDirmid2014-10-16 23:56
Forum topicTools for layered languages? raould2014-10-16 23:49
Forum topicautomatic test discovery without reflection? Talin2014-10-16 17:34
Forum topicBNFT (Backus Naur Form Transformation) rerelease Poul Krogh2014-10-16 14:51
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