Connecting effects and uniqueness with adoption

John Tang Boyland, William Retert
2005 Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05  
doi:10.1145/1040305.1040329 dblp:conf/popl/BoylandR05 fatcat:pwjb37oakfb5ho4r2ovpqvlge4