From dynamic binding to state via modal possibility (2003)

by Aleksandar Nanevski
Venue:In PPDP ’03: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming