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

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

doi:10.1007/978-3-540-78769-3

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

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

Programming, Logic and Intelligent Systems

Research output: Contribution to journal › Conference article › Research › peer-review

3 Citations (Scopus)

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	https://doi.org/10.1007/978-3-540-78769-3
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/Territory	Denmark
City	Kgs. Lyngby
Period	23/08/2007 → 24/08/2007

Access to Document

10.1007/978-3-540-78769-3

Citation Styles

@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",

note = "Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 ; Conference date: 23-08-2007 Through 24-08-2007",

}

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

N1 - Conference code: 17

PY - 2008

Y1 - 2008

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

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

M3 - Conference article

SN - 0302-9743

SP - 23

EP - 42

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

IS - 4915

T2 - Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007

Y2 - 23 August 2007 through 24 August 2007

ER -