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:103 - 18 self