type  title  author  last post 
Forum topic  Semantics: Logic vs. PL  Ohad Kammar  20090627 14:17 
Forum topic  Preventing downcasting and adding a universal variant  cdiggins  20090616 22:17 
Forum topic  Algebra Of Programming (Bird, De Moor)  shahbaz  20090427 20:22 
Forum topic  Elementary Category Theory  Ohad Kammar  20081023 11:52 
Forum topic  Is Halting Problem Valid for P?  ajgargand  20080504 23:24 
Forum topic  Google Tech Talk: Phil Gosset discusses parametric polymorphism and girardreynolds isomorphism  Chris Perkins  20070428 19:41 
Forum topic  FixedPoint Induction  Ohad Kammar  20060916 16:38 

Recent comments
18 min 50 sec ago
18 hours 49 min ago
20 hours 24 min ago
20 hours 32 min ago
1 day 12 hours ago
1 day 13 hours ago
1 day 20 hours ago
2 days 18 hours ago
2 days 23 hours ago
3 days 17 hours ago