Automatic Type-Driven Library Generation for Telescoping Languages.

Arun Chauhan, Cheryl McCosh, Ken Kennedy, Richard Hanson

Browse the full SC paper archive.