Hewitt

typetitleauthorlast post sort icon
Forum topicStrong Mathematical Foundations for Computer Science Hewitt2013-11-25 14:58
Forum topicactors conflate too much raould2013-11-16 01:13
Forum topicWhy is Static Typing Hard? Jon Purdy2013-11-12 18:56
Forum topicContinuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Hewitt2013-10-26 19:36
Forum topicGlobal State Machines Inadequate (contra Dijkstra and Gurevich et. al.) Hewitt2013-08-14 18:34
Forum topicFuture of Programs using Assertions, Goals, and Plans Hewitt2013-08-10 01:07
Forum topicThe Future of Programming according to Bret Victor Christian Lindig2013-08-02 14:28
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
Forum topicTypographical extensions for programming languages: breaking out of the ASCII straitjacket Sean McDirmid2013-07-28 00:17
Forum topic"Relational Model Outgrown" CACM May 2013 Hewitt2013-05-10 01:56
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