A Semantic Model of Binding Times for Safe Partial Evaluation

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Standard

A Semantic Model of Binding Times for Safe Partial Evaluation. / Henglein, Fritz; Sands, D.

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Harvard

Henglein, F & Sands, D 1995, A Semantic Model of Binding Times for Safe Partial Evaluation. in Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer.

APA

Henglein, F., & Sands, D. (1995). A Semantic Model of Binding Times for Safe Partial Evaluation. In Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science Springer.

Vancouver

Henglein F, Sands D. A Semantic Model of Binding Times for Safe Partial Evaluation. In Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer. 1995

Author

Henglein, Fritz ; Sands, D. / A Semantic Model of Binding Times for Safe Partial Evaluation. Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer, 1995.

Bibtex

@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",
address = "Switzerland",

}

RIS

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 -

ID: 235243