Hank Thediek

typetitleauthorlast post sort icon
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
Forum topicTrade-offs with abstraction Charles Stewart2009-07-15 00:32
Forum topicSemantics: Logic vs. PL Ohad Kammar2009-06-27 14:17
StoryWhy a diagram is (sometimes) worth ten thousand words Ehud Lamm2009-06-18 20:33
StoryLectures on Jacques Herbrand as a Logician Charles Stewart2009-06-11 17:42
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
Forum topicViable System Architecture Hank Thediek2009-04-26 23:49
StoryElephant 2000: A Programming Language for the year 2015 Based on Speech Acts Ehud Lamm2009-04-20 07:43
Forum topicChallenges Hank Thediek2009-04-16 13:27
Forum topicDynamic Logic Hank Thediek2009-03-08 14:12
Forum topicCybernetics and AI Hank Thediek2009-02-01 17:01