Low-level liquid types

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala. Low-level liquid types. In Manuel V. Hermenegildo, Jens Palsberg, editors, Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. pages 131-144, ACM, 2010. [doi]

Authors

Patrick Maxim Rondon

This author has not been identified. Look up 'Patrick Maxim Rondon' in Google

Ming Kawaguchi

This author has not been identified. Look up 'Ming Kawaguchi' in Google

Ranjit Jhala

This author has not been identified. Look up 'Ranjit Jhala' in Google