search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 11 forks source link

A Modal Analysis of Staged Computation #80

Closed hzafar closed 6 years ago

hzafar commented 7 years ago

https://www.cs.cmu.edu/~fp/papers/jacm00.pdf

bcdarwin commented 7 years ago

also see #44 for more on the logical systems used in this paper (and in PFPL).