Web Directory
 

Dependent ML: DML

  Link Details for: Dependent ML: DML
Link Title: Dependent ML: DML Open in a new window
Link URL: http://www.cs.bu.edu/~hwxi/DML/DML.html
Link Details: Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, cod
Category: Top : Computers : Programming : Languages : ML : Implementations
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Dependent ML: DML