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
5 hours 19 min ago
7 hours 32 min ago
14 hours 7 min ago
23 hours 40 min ago
1 day 1 hour ago
1 day 2 hours ago
1 day 3 hours ago
1 day 4 hours ago
1 day 7 hours ago
1 day 8 hours ago