A Walk in the Semantic Park

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

Standard

A Walk in the Semantic Park. / Danvy, Olivier; Johannsen, Jacob; Zerny, Ian.

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . ed. / Siau-Cheng Khoo; Jeremy Siek. Association for Computing Machinery, 2011. p. 1-12.

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

Harvard

Danvy, O, Johannsen, J & Zerny, I 2011, A Walk in the Semantic Park. in S-C Khoo & J Siek (eds), Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . Association for Computing Machinery, pp. 1-12, 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, Austin, TX, United States, 24/01/2011. https://doi.org/10.1145/1929501.1929503

APA

Danvy, O., Johannsen, J., & Zerny, I. (2011). A Walk in the Semantic Park. In S-C. Khoo, & J. Siek (Eds.), Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/1929501.1929503

CBE

Danvy O, Johannsen J, Zerny I. 2011. A Walk in the Semantic Park. Khoo S-C, Siek J, editors. In Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . Association for Computing Machinery. pp. 1-12. https://doi.org/10.1145/1929501.1929503

MLA

Danvy, Olivier, Jacob Johannsen and Ian Zerny "A Walk in the Semantic Park". and Khoo, Siau-Cheng Siek, Jeremy (editors). Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . Association for Computing Machinery. 2011, 1-12. https://doi.org/10.1145/1929501.1929503

Vancouver

Danvy O, Johannsen J, Zerny I. A Walk in the Semantic Park. In Khoo S-C, Siek J, editors, Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . Association for Computing Machinery. 2011. p. 1-12 https://doi.org/10.1145/1929501.1929503

Author

Danvy, Olivier ; Johannsen, Jacob ; Zerny, Ian. / A Walk in the Semantic Park. Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . editor / Siau-Cheng Khoo ; Jeremy Siek. Association for Computing Machinery, 2011. pp. 1-12

Bibtex

@inproceedings{60a73b76a64d44f5a32a749c675ecbbd,
title = "A Walk in the Semantic Park",
abstract = "To celebrate the 20th anniversary of PEPM, we are inviting you to awalk in the semantic park and to inter-derive reduction-based andreduction-free negational normalization functions.",
author = "Olivier Danvy and Jacob Johannsen and Ian Zerny",
year = "2011",
doi = "10.1145/1929501.1929503",
language = "English",
isbn = "978-1-4503-0485-6 ",
pages = "1--12",
editor = "Siau-Cheng Khoo and Jeremy Siek",
booktitle = "Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation",
publisher = "Association for Computing Machinery",
note = "20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2011 ; Conference date: 24-01-2011 Through 25-01-2011",

}

RIS

TY - GEN

T1 - A Walk in the Semantic Park

AU - Danvy, Olivier

AU - Johannsen, Jacob

AU - Zerny, Ian

PY - 2011

Y1 - 2011

N2 - To celebrate the 20th anniversary of PEPM, we are inviting you to awalk in the semantic park and to inter-derive reduction-based andreduction-free negational normalization functions.

AB - To celebrate the 20th anniversary of PEPM, we are inviting you to awalk in the semantic park and to inter-derive reduction-based andreduction-free negational normalization functions.

U2 - 10.1145/1929501.1929503

DO - 10.1145/1929501.1929503

M3 - Article in proceedings

SN - 978-1-4503-0485-6

SP - 1

EP - 12

BT - Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation

A2 - Khoo, Siau-Cheng

A2 - Siek, Jeremy

PB - Association for Computing Machinery

T2 - 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation

Y2 - 24 January 2011 through 25 January 2011

ER -