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  4499 reads

Browse archivesActive forum topics 
Recent comments
2 hours 9 min ago
12 hours 31 min ago
14 hours 28 min ago
22 hours 8 min ago
22 hours 11 min ago
22 hours 52 min ago
23 hours 11 min ago
1 day 7 hours ago
1 day 9 hours ago
1 day 10 hours ago