Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions (1997)

by Samson Abramsky , Guy McCusker
Venue:ALGOL-LIKE LANGUAGES
Citations:130 - 21 self