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.
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Harvard
Henglein, F & Sands, D 1995, A Semantic Model of Binding Times for Safe Partial Evaluation. i 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. I 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. I 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 -