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
2 days 2 hours ago
3 days 2 hours ago
3 days 3 hours ago
3 days 4 hours ago
4 days 9 hours ago
4 days 10 hours ago
5 days 5 hours ago
5 days 6 hours ago
5 days 6 hours ago
5 days 22 hours ago