Liquid types

Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '08
Tucson, AZ, USA
Association for Computing Machinery
New York, NY, USA
Pages 159-169
2008
Note(s): Dependent type

Liquid type