The ggtsTC package
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
A type checker and runtime system of rCOS/g following the definitions in the ggts-FCS article.
Title: A graph-based generic type system for object-oriented programs
Authors: Wei Ke, Zhiming Liu, Shuling Wang and Liang Zhao
Accepted by: Frontier of Computer Science
Programmed by: Wei Ke
(c) 2012 Wei Ke
License file: LICENSE
Source package download: ggtsTC-0.5.tar.gz
rCOS/g grammar: grammar
|Change log||None available|
|Dependencies||base (>=4 && <6), containers (>=0.5.0), parsec (>=3.1.3) [details]|
|Copyright||(c) 2012 Wei Ke|
|Uploaded||Wed Jan 29 07:13:24 UTC 2014 by brianchon|
For package maintainers and hackage trustees