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

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Udgave nummer4915
Sider (fra-til)23-42
Antal sider19
ISSN0302-9743
DOI
StatusUdgivet - 2008
BegivenhedLogic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Danmark
Varighed: 23 aug. 200724 aug. 2007
Konferencens nummer: 17

Konference

KonferenceLogic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007
Nummer17
LandDanmark
ByKgs. Lyngby
Periode23/08/200724/08/2007

Citer dette

Albert, Elvira ; Gallagher, John Patrick ; Gómez-Zamalloa, Miguel ; Puebla, Germán. / Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. I: Lecture Notes in Computer Science. 2008 ; Nr. 4915. s. 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.

I: Lecture Notes in Computer Science, Nr. 4915, 2008, s. 23-42.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer 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 -