recent posts

typetitleauthorlast post sort icon
StoryPaul Hudak Ehud Lamm2015-05-02 00:37
Forum topicChurch's fundamental paradox: "Is there such a thing as logic?" Hewitt2015-05-01 15:21
Forum topicC++ Parser Combinator Library Keean Schupke2015-05-01 13:29
Forum topicFive Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Sean McDirmid2015-05-01 05:14
Forum topicThe Programming Language Wars: Questions and Responsibilities for the Programming Language Community Phil Miess2015-04-27 12:50
StoryActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing Andris Birkmanis2015-04-25 23:47
Forum topicType Differentials Talin2015-04-25 15:02
StoryA theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation gasche2015-04-24 13:57
Forum topicFixing broken software development for the masses raould2015-04-22 18:33
StorySeemingly impossible programs Ohad Kammar2015-04-18 02:15