[ 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

The tool is available from http://eprints.eemcs.utwente.nl/17771/

--pieter hartel & henk muller

Reply via email to