[xtc-announce] xtc 1.13.0
rgrimm at cs.nyu.edu
Fri Aug 31 15:37:37 EDT 2007
It's my pleasure to announce xtc version 1.13.0.
Newly included compilers are:
1) Typical, which implements a domain-specific language for writing
type checkers. Thanks to Laune Harris and Anh Le!
2) "A complier contributed to xtc", a.k.a. Jeannie, which implements
a new language combining Java and C. Thanks to Martin Hirzel and IBM!
Other improvements include (1) automatic variant typing for generic
ASTs and (2) improved ASTs for Java and C.
Enjoy at http://cs.nyu.edu/rgrimm/xtc/.
More information about the xtc-announce