From dynamic binding to state via modal possibility

Aleksandar Nanevski. From dynamic binding to state via modal possibility. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 207-218, ACM, 2003. [doi]

Authors

Aleksandar Nanevski

This author has not been identified. Look up 'Aleksandar Nanevski' in Google