Normalization and Partial Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education
Standard
Normalization and Partial Evaluation. / Dybjer, Peter; Filinski, Andrzej.
Applied Semantics: Advanced Lectures. Berlin : Springer, 2002. p. 137-192 (Lecture notes in computer science; No. 2395).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education
Harvard
Dybjer, P & Filinski, A 2002, Normalization and Partial Evaluation. in Applied Semantics: Advanced Lectures. Springer, Berlin, Lecture notes in computer science, no. 2395, pp. 137-192. https://doi.org/10.1007/3-540-45699-6_4
APA
Dybjer, P., & Filinski, A. (2002). Normalization and Partial Evaluation. In Applied Semantics: Advanced Lectures (pp. 137-192). Springer. Lecture notes in computer science No. 2395 https://doi.org/10.1007/3-540-45699-6_4
Vancouver
Dybjer P, Filinski A. Normalization and Partial Evaluation. In Applied Semantics: Advanced Lectures. Berlin: Springer. 2002. p. 137-192. (Lecture notes in computer science; No. 2395). https://doi.org/10.1007/3-540-45699-6_4
Author
Bibtex
@inbook{5da387f074c111dbbee902004c4f4f50,
title = "Normalization and Partial Evaluation",
author = "Peter Dybjer and Andrzej Filinski",
year = "2002",
doi = "10.1007/3-540-45699-6_4",
language = "English",
isbn = "3-540-44044-5",
series = "Lecture notes in computer science",
publisher = "Springer",
number = "2395",
pages = "137--192",
booktitle = "Applied Semantics",
address = "Switzerland",
}
RIS
TY - CHAP
T1 - Normalization and Partial Evaluation
AU - Dybjer, Peter
AU - Filinski, Andrzej
PY - 2002
Y1 - 2002
U2 - 10.1007/3-540-45699-6_4
DO - 10.1007/3-540-45699-6_4
M3 - Book chapter
SN - 3-540-44044-5
T3 - Lecture notes in computer science
SP - 137
EP - 192
BT - Applied Semantics
PB - Springer
CY - Berlin
ER -
ID: 58259