Exploiting Term Hiding to Reduce Run-Time Checking Overhead.

Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo

Browse the full PADL paper archive.