Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Language Extensions
View the dependency graph for this libraryNity
Created by stuart on: Sat, 06 May 2006 02:03:06 GMT, Last modification: Sat, 06 May 2006 02:03:06 GMT
a polymorphic type system
| Web site | http://www.cs.yale.edu/homes/dvm/ |
| Mailing list | |
| Version | 1.5.4 - Thursday, 29 December 2005 |
| Maturity | Beta |
| OS compatibility | |
| ASDF installable | No |
| Official Download | ftp://ftp.cs.yale.edu/pub/mcdermott/software/nity.tar.gz |
| Mirrored Download | |
| Source code repository |
Nity (version 1.5.4, 2005-12-29): is a polymorphic type system used by Opt (and hopefully by Nisp sometime in the future). Includes a parallel directory langutils. Depends on YTools.
Required Libraries View graph
Authors and Maintainers
Tags
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment