A type checker and runtime system of rCOS/g (impl. of ggts-FCS). http://a319-101.ipm.edu.mo/~wke/ggts/impl/
|Latest on Hackage:||0.5|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
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