Sean Childs

typetitle sort iconauthorlast post
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
Forum topicModeration on LtU gasche2015-09-05 11:34
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Forum topicCode Completion for Generic Programming Keean Schupke2014-11-24 17:37
Forum topicImpact of static type systems on productivity of actual programmers: first experiment I've seen documented. Ray Dillinger2014-11-18 03:22
Forum topicOpposing Hierarchies of Complexity Keean Schupke2014-11-05 22:20
Forum topicExperiment Ehud Lamm2014-10-01 17:10
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