[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Adt is a simple tool in the spirit of Lex and Yacc that makes monomorphic algebraic data types, polymorphic built-in types like the list and an efficient form of pattern matching available in C programs. The paper has been pre-ublished online at http://onlinelibrary.wiley.com/doi/10.1002/spe.1058/ The tool is available from http://eprints.eemcs.utwente.nl/17771/ --pieter hartel & henk muller