User loginNavigation 
The Cat Language Kind SystemMy latest attempt to describe the Cat kind system with some kind of rigour is at http://www.catlanguage.com/paper.html. Here is an excerpt from the kind system description: kind ::==  type the kind of all types  stack the kind of all stacks type ::==  a type variable  var variant  int integer  bool bool  string string  list list  ∀ ρ . (stack, ρ) > (stack, ρ) function stack ::==  A stack variable  nil empty stack  type, stack stack with a single type on top  stack, stack stack with a stack on top  stack \ stack stack difference operation I'd be exceedingly greatful for any comments on the paper. By cdiggins at 20061206 06:36  LtU Forum  previous forum topic  next forum topic  other blogs  6389 reads

Browse archivesActive forum topics 
Recent comments
8 hours 25 min ago
8 hours 40 min ago
8 hours 51 min ago
9 hours 25 min ago
9 hours 44 min ago
11 hours 15 min ago
1 day 9 hours ago
1 day 16 hours ago
2 days 2 hours ago
2 days 4 hours ago