Hank Thediek

type sort icontitleauthorlast post
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
StoryOn the history of the question of whether natural language is “illogical” Ehud Lamm2013-06-06 15:18
Forum topicEndofunctions, cycles and chains hbrandl2013-04-29 17:36
StoryDYNAMO Ehud Lamm2013-04-16 20:53
Forum topicFive "laws" of programming paradigms Peter Van Roy2013-04-07 20:15
Forum topicImport Systems Kay Schluehr2013-01-14 15:05
Forum topicRelational Model Considered Obsolete Hewitt2013-01-12 03:12
Forum topicVisability, state, and Identity Hank Thediek2013-01-07 22:21
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
Forum topicWittgenstein versus Turing on Inconsistency Robustness Hewitt2012-03-05 22:15
StoryComputing Needs Time Allan McInnes2012-03-05 19:35
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
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 topicEvocative metaphor Ehud Lamm2010-07-12 13:40
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
StoryCan a Biologist Fix a Radio? James Iry2010-03-04 03:17
Forum topicQuestion: Graceful error recovery during parsing Nathan Sobo2009-12-16 18:30
Forum topicAcademic Commons Hank Thediek2009-08-02 14:34
StoryIn the Land of Invented Languages Chris Rathman2009-07-23 03:23