User loginNavigation 
Its type checking, Jim, but not as we know it.A new completely rewritten and improved version of my previous Going Against the Flow paper. Abstract:
The main innovation in this work is a treatment of fields and assignment to support it. We have found that assignment between a term's fields is parametric with respect to the assignments of that term! Intuitive but semantically tricky. Soundness proof of this treatment is included in the paper, along with a feasible (but unproved) way of implementing it. Anyways, once that's done, we can model the entire type system in terms of assignments and fields, which I don't think has been done before. By Sean McDirmid at 20131211 08:34  LtU Forum  previous forum topic  next forum topic  other blogs  4972 reads

Browse archivesActive forum topics 
Recent comments
1 hour 21 min ago
3 hours 59 sec ago
12 hours 59 min ago
13 hours 3 min ago
17 hours 7 min ago
17 hours 27 min ago
18 hours 2 min ago
18 hours 23 min ago
20 hours 58 min ago
21 hours 44 min ago