An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment.

Luc Jadoul, Luc Duponcheel, Willy Van Puymbroeck

Browse the full ICSE paper archive.