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
4 days 9 hours ago
6 days 12 hours ago
6 days 13 hours ago
6 days 13 hours ago
6 days 14 hours ago
6 days 14 hours ago
6 days 15 hours ago
6 days 20 hours ago
6 days 21 hours ago
1 week 2 hours ago