Dependent ML. Available at http://www.cs.bu.edu/~hwxi/DML/DML.html, 2001. 60 [38] Hongwei Xi. Xanadu: Imperative Programming with Dependent Types, 2001. Available at http://www.cs.bu.edu/~hwxi/Xanadu (0)

by Hongwei Xi