Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.

Elvira Albert, John P. Gallagher, Miguel Gmez-Zamalloa, Germn Puebla

Browse the full LOPSTR paper archive.