A Semantic Model of Binding Times for Safe Partial Evaluation

2 Citations (Scopus)

Abstract

Binding time, ideal model, partial evaluation, safety, topped domains, monovariance

Original language	English
Title of host publication	Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science
Publisher	Springer
Publication date	1995
Publication status	Published - 1995

@inbook{a7328d2074cc11dbbee902004c4f4f50,

title = "A Semantic Model of Binding Times for Safe Partial Evaluation",

abstract = "Binding time, ideal model, partial evaluation, safety, topped domains, monovariance",

author = "Fritz Henglein and D. Sands",

year = "1995",

language = "English",

booktitle = "Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science",

publisher = "Springer",

}

TY - CHAP

T1 - A Semantic Model of Binding Times for Safe Partial Evaluation

AU - Henglein, Fritz

AU - Sands, D.

PY - 1995

Y1 - 1995

N2 - Binding time, ideal model, partial evaluation, safety, topped domains, monovariance

AB - Binding time, ideal model, partial evaluation, safety, topped domains, monovariance

M3 - Book chapter

BT - Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science

PB - Springer

ER -