Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation | Publicación