Dependent ML
Dependent ML (DML) is an experimental extension of ML with a restricted form of dependent types.
[ Homepage ]
| Author: | Hongwei Xi. |
| Last modification date: | 18-Sep-2002 |
| Development status: | Alpha |
| Kind: | Applications written in Caml :: Scientific software |
| Topic: | Programming languages :: Typing |
| Homepage: | http://www.ececs.uc.edu/~hwxi/DML/DML.html |