[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
http://onlinelibrary.wiley.com/doi/10.1002/spe.1058/

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

--pieter hartel & henk muller


More information about the Types-announce mailing list