From dynamic binding to state via modal possibility (2003)

by A Nanevski
Venue:In Int’l. Conf. on PRinciples and Practice of Declarative Programming (PPDP’03