type  title  author  last post 
Forum topic  Lisps, FirstClass Special Forms, Fexprs, The Kernel Programming Language  Peter Michaux  20101028 11:03 
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 hour 33 min ago
2 hours 10 min ago
3 hours 28 min ago
3 hours 41 min ago
7 hours 50 min ago
8 hours 36 min ago
8 hours 36 min ago
14 hours 49 min ago
15 hours 12 min ago
15 hours 31 min ago