Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

Elvira Albert, John Patrick Gallagher, Miguel Gómez-Zamalloa,, Germán Puebla

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Issue number4915
Pages (from-to)23-42
Number of pages19
ISSN0302-9743
DOIs
Publication statusPublished - 2008
EventLogic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Denmark
Duration: 23 Aug 200724 Aug 2007
Conference number: 17

Conference

ConferenceLogic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007
Number17
CountryDenmark
CityKgs. Lyngby
Period23/08/200724/08/2007

Cite this

Albert, Elvira ; Gallagher, John Patrick ; Gómez-Zamalloa, Miguel ; Puebla, Germán. / Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. In: Lecture Notes in Computer Science. 2008 ; No. 4915. pp. 23-42.
@inproceedings{8b69045046a011ddaee8000ea68e967b,
title = "Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation",
author = "Elvira Albert and Gallagher, {John Patrick} and Miguel G{\'o}mez-Zamalloa, and Germ{\'a}n Puebla",
year = "2008",
doi = "10.1007/978-3-540-78769-3",
language = "English",
pages = "23--42",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",
number = "4915",

}

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. / Albert, Elvira; Gallagher, John Patrick; Gómez-Zamalloa, Miguel; Puebla, Germán.

In: Lecture Notes in Computer Science, No. 4915, 2008, p. 23-42.

Research output: Contribution to journalConference articleResearchpeer-review

TY - GEN

T1 - Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

AU - Albert, Elvira

AU - Gallagher, John Patrick

AU - Gómez-Zamalloa,, Miguel

AU - Puebla, Germán

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-78769-3

DO - 10.1007/978-3-540-78769-3

M3 - Conference article

SP - 23

EP - 42

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

IS - 4915

ER -