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
1 day 19 hours ago
4 days 3 hours ago
4 days 6 hours ago
5 days 1 hour ago
5 days 8 hours ago
5 days 12 hours ago
5 days 13 hours ago
5 days 15 hours ago
6 days 6 hours ago
6 days 10 hours ago