[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