| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Udgave nummer | 4915 |
| Sider (fra-til) | 23-42 |
| Antal sider | 19 |
| ISSN | 0302-9743 |
| DOI | |
| Status | Udgivet - 2008 |
| Begivenhed | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Danmark Varighed: 23 aug. 2007 → 24 aug. 2007 Konferencens nummer: 17 |
Konference
| Konference | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 |
|---|---|
| Nummer | 17 |
| Land | Danmark |
| By | Kgs. Lyngby |
| Periode | 23/08/2007 → 24/08/2007 |
Citer dette
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, nr. 4915, s. 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.
I: Lecture Notes in Computer Science, Nr. 4915, 2008, s. 23-42.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › 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