User loginNavigation |
archivesIts 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. |
Browse archivesActive forum topics |
Recent comments
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
24 weeks 4 days ago
28 weeks 6 days ago
30 weeks 3 days ago
30 weeks 3 days ago
33 weeks 1 day ago
37 weeks 5 days ago
37 weeks 5 days ago