Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions: Extended Abstract
Samson Abramsky, Guy McCuskerVolume:
3
Year:
1996
Language:
english
Pages:
13
DOI:
10.1016/s1571-0661(05)80398-6
File:
PDF, 642 KB
english, 1996