Abstraction-Carrying Code.

Elvira Albert, Germn Puebla, Manuel V. Hermenegildo

Browse the full LPAR paper archive.