[xtc-announce] xtc 1.13.0

Robert Grimm 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 mailing list