typetitleauthorlast post sort icon
Forum topicFixpoint theory, induction and recursion hbrandl2013-03-08 04:14
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45
Forum topicRelational Model Considered Obsolete Hewitt2013-01-12 03:12
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
Forum topicDesigning a languge — what theory is a must? pgregory2012-09-28 19:01
Forum topicLong rant on Erlang-style Actors: Lost Dimension const2012-03-20 08:57
Forum topicWittgenstein versus Turing on Inconsistency Robustness Hewitt2012-03-05 22:15
StoryComputing Needs Time Allan McInnes2012-03-05 19:35
Forum topicActors all the way down Hewitt2011-11-26 20:42
Forum topicInconsistency Robustness 2011 at Stanford Hewitt2011-11-24 21:34
StoryThe Trouble with Erlang Charles Stewart2011-10-14 03:57
Forum topicYield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized gasche2011-09-12 01:22
Forum topicStrange Loop 2011 - Languages galore puredanger2011-06-29 00:10
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
StoryMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Z-Bo2011-03-14 05:47
StoryTractatus Digito-Philosophicus Manuel J. Simoni2011-03-12 23:35
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52
Forum topicWhat is an Actor? Hewitt2011-02-21 02:34
Forum topicHow to Program the Many Cores for Inconsistency Robustness Hewitt2011-02-03 14:26
Forum topicTolerant vs. Demanding Software kclancy2010-12-30 04:44
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
Forum topicInconsistency Robustness 2011 at Stanford Hewitt2010-12-07 14:15
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-08-10 14:23
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48