Patrick Maxim Rondon, Ming Kawaguchi, and Ranjit Jhala. 2008. “Liquid types.” In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, Pp. 159–169.