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

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

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Issue number4915
Pages (from-to)23-42
Number of pages19
ISSN0302-9743
DOIs
Publication statusPublished - 2008
EventLogic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Denmark
Duration: 23 Aug 200724 Aug 2007
Conference number: 17

Conference

ConferenceLogic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007
Number17
CountryDenmark
CityKgs. Lyngby
Period23/08/200724/08/2007

Cite this