Sean Childs

typetitleauthorlast post sort icon
Forum topicThe Future of Programming according to Bret Victor Christian Lindig2013-08-02 14:28
StoryThe programming languages behind "the mother of all demos" Ehud Lamm2013-07-05 22:29
Forum topicWhy say Actor Model instead of message passing? Clarkd2013-03-10 08:48
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 topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicmath proofs are more robust than computer proofs raould2011-11-18 20:27
Forum topicAlternative method for defining statically typed variables Josh-Meredith2010-03-09 14:56
StorySTEPS Toward The Reinvention of Programming: First Year Progress Report Luke Gorrie2009-03-13 10:13
Forum topicRecursive Algorithms that cannot be expresses with Tail-Recursion? Anon Adderlan2008-02-19 15:09
Forum topicLanguages and data conversions. David Ryan2008-02-14 21:32
StoryProject LambdaCan Ehud Lamm2008-02-07 22:37