John Shutt

typetitle sort iconauthorlast post
Forum topicComputational equivalent of incompleteness theorems? naasking2010-09-21 06:55
Forum topicIs lambda calculus a logic? Patrick Browne2010-07-23 21:42
Forum topicEvocative metaphor Ehud Lamm2010-07-12 13:40
Forum topicLooking for a proof that eager reduction is as strong as lazy reduction marco2010-06-20 04:28
Forum topicGuppy: trying to make parsing simple, fun, and powerful Joey Adams2010-05-31 02:57
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
Forum topicHow can C Programs be so Reliable? Manuel J. Simoni2010-04-23 11:54
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
Forum topicmore consistent macros? raould2010-02-04 11:22
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54