[TYPES/announce] Simple algebraic data types for C -- paper and tool

pieter.hartel at utwente.nl pieter.hartel at utwente.nl
Sat Feb 12 04:30:53 EST 2011

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

More information about the Types-announce mailing list