Automatic Construction of Special Purpose Programs.

Chris Goad

Browse the full CADE paper archive.