|
|
|
|
|
|
by naasking
3490 days ago
|
|
|
> that (with some care) staging constructs can be elaborated into closures in an unstaged calculus. Exactly, which seems to provide the necessary semantics for references that you mentioned. Clarifying staging semantics for difficult abstractions like refs by elaboration into well understood closure semantics was the point of the paper. |
|
|