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
1 day 20 hours ago
2 days 20 hours ago
2 days 21 hours ago
2 days 22 hours ago
4 days 4 hours ago
4 days 4 hours ago
4 days 23 hours ago
5 days 54 min ago
5 days 1 hour ago
5 days 16 hours ago