type  title  author  last post 
Forum topic  Computational equivalent of incompleteness theorems?  naasking  20100921 06:55 
Forum topic  Is lambda calculus a logic?  Patrick Browne  20100723 21:42 
Forum topic  Evocative metaphor  Ehud Lamm  20100712 13:40 
Forum topic  Looking for a proof that eager reduction is as strong as lazy reduction  marco  20100620 04:28 
Forum topic  Guppy: trying to make parsing simple, fun, and powerful  Joey Adams  20100531 02:57 
Forum topic  Typed Lambda Calculus  marcosag  20100505 21:11 
Forum topic  How can C Programs be so Reliable?  Manuel J. Simoni  20100423 11:54 
Forum topic  splitting the program into formalizable vs. nonformalizable parts?  raould  20100417 03:48 
Forum topic  Alternatives to parentheses for grouping  jason stumpf  20100210 13:28 
Forum topic  more consistent macros?  raould  20100204 11:22 
Story  John Hughes on Erlang and Haskell  James Iry  20091202 10:16 
Story  Scheme to be split into two languages  Manuel J. Simoni  20091126 16:54 

Recent comments
31 min 33 sec ago
2 hours 14 min ago
3 hours 39 min ago
6 hours 1 min ago
6 hours 9 min ago
7 hours 16 min ago
12 hours 56 min ago
1 day 1 hour ago
2 days 8 hours ago
2 days 8 hours ago