dissertation
dissertation copied to clipboard
lkuper
Exactly what it says on the tin.
See [my notes on the reviews](https://github.com/lkuper/dissertation/blob/master/dissertation/jfp-reviews-notes.md) for some of the justification for this change. I think it actually won't be that much work to update the existing lambdaLVar determinism proof...
Both reviewers brought this up. It's true that the claim is a bit strong! This is mentioned in both the intro and the conclusion, if not in other places.
Checklist: - [ ] Move arbitrary updates over to lambdaLVar (issue #3) (@lkuper) - [ ] Systematic presentation of LVish API (issue #6) (@rrnewton) - [ ] Resolve question about...
We don't need to show the entire API, but in addition to the series of examples in section 4.2, we should give a systematic presentation of the most important API...
From reviewer 2's review: > It is rather unfortunate that the determinism result (Theorem 2.1) > specifically does not address consistent termination (i.e., that if > one run terminates with...