Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
S. Abramsky and G. McCusker
Details
| Book Title |
Algol−like Languages |
| Editor |
P. O'Hearn and R. D. Tennent |
| Pages |
317−348 |
| Publisher |
Birkhauser |
| Year |
1997 |
Links
Related pages
|
People |