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