Dependent ML An approach to practical programming with dependent types

Hongwei Xi
[doi] [Google Scholar] [DBLP] [Citeseer]

Journal of Functional Programming 17(2)
Cambridge University Press
Pages 215-286
2007
Note(s): Dependent type, Liquid type