Hank Thediek

typetitleauthor sort iconlast post
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
Forum topicmanaging closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Rys McCusker2015-01-10 00:45
Forum topicTesting first year programming students Peter A Jonsson2014-07-20 20:43
Forum topicThe year that was: 1965. Hank Thediek2014-07-19 13:10
Forum topicDetected contradictions in large information systems Hewitt2014-04-22 11:45
Forum topicThe Evolution of CS Papers Sean McDirmid2014-03-11 14:09
Forum topicNot that one, the other one! Hank Thediek2014-02-23 22:08
Forum topicParallelism and Concurrency in the Actor Model Hewitt2014-02-21 05:06
Forum topicLimitations of Prolog-style clausal programs Hewitt2014-02-11 10:53
Forum topicPuzzleScript Tess Foley2014-02-01 15:29
StoryThe marriage of bisimulations and Kripke logical relations Charles Stewart2014-02-01 12:46
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
Forum topicInconsistency Robustness in Logic Programs Hewitt2014-01-01 18:30
Forum topicStrong Mathematical Foundations for Computer Science Hewitt2013-11-25 14:58
Forum topicactors conflate too much raould2013-11-16 01:13
Forum topicContinuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Hewitt2013-10-26 19:36
Forum topicAnnual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London paulboca2013-10-03 17:00
Forum topicHow is LtU doing? Sean McDirmid2013-09-29 23:55
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
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