recent posts

typetitleauthorlast post sort icon
Forum topicModeration on LtU gasche2015-07-30 08:17
Forum topicAggregations (e.g., sets) in Logic Programs Hewitt2015-07-30 07:58
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-07-30 07:55
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicadopt convention to define local sense of word in footnote? Rys McCusker2015-07-28 00:19
Forum topicPLATEAU 2015 - Call for Papers craiganslow2015-07-27 22:50
Forum topicImplementing the communication semantics of actors Andrew Moss2015-07-27 16:56
Forum topicNew paper: Theory of Programs Bertrand_Meyer2015-07-27 16:21
Forum topicFunctor marco2015-07-27 09:23