| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science |
| Issue number | 4915 |
| Pages (from-to) | 23-42 |
| Number of pages | 19 |
| ISSN | 0302-9743 |
| DOIs | |
| Publication status | Published - 2008 |
| Event | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Denmark Duration: 23 Aug 2007 → 24 Aug 2007 Conference number: 17 |
Conference
| Conference | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 |
|---|---|
| Number | 17 |
| Country | Denmark |
| City | Kgs. Lyngby |
| Period | 23/08/2007 → 24/08/2007 |
Cite this
Albert, E., Gallagher, J. P., Gómez-Zamalloa, M., & Puebla, G. (2008). Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. Lecture Notes in Computer Science, (4915), 23-42. https://doi.org/10.1007/978-3-540-78769-3
@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",
}
Albert, E, Gallagher, JP, Gómez-Zamalloa, M & Puebla, G 2008, 'Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation' Lecture Notes in Computer Science, no. 4915, pp. 23-42. https://doi.org/10.1007/978-3-540-78769-3
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 journal › Conference article › Research › peer-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 -
Albert E, Gallagher JP, Gómez-Zamalloa, M, Puebla G. Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. Lecture Notes in Computer Science. 2008;(4915):23-42. https://doi.org/10.1007/978-3-540-78769-3