Liquid types

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 ◽

10.1145/1375581.1375602 ◽

2008 ◽

Author(s):

Patrick M. Rondon ◽

Ming Kawaguci ◽

Ranjit Jhala

Download Full-text