Directory | Tags | Index | LinkIt | Submit   | Help
    Friday, 22 August 2014 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Language Extensions

View the dependency graph for this library

Nity
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

eMail
Web sitehttp://www.cs.yale.edu/homes/dvm/
Mailing list
Version1.5.4 - Thursday, 29 December 2005
MaturityBeta
OS compatibility
ASDF installableNo
Official Downloadftp://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

YTools

Authors and Maintainers

Drew McDermott

Tags

Language Extensions

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