Type-Directed Partial Evaluation

Olivier Danvy

Type-Directed Partial Evaluation

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

113 Citations (Scopus)

Original language	English
Title of host publication	Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium
Number of pages	16
Publisher	Association for Computing Machinery
Publication date	1996
Pages	242-257
Publication status	Published - 1996
Event	23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '96 - Skt. Petersborg, Russian Federation Duration: 21 Jan 1996 → 24 Jan 1996

Conference

Conference	23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '96
Country/Territory	Russian Federation
City	Skt. Petersborg
Period	21/01/1996 → 24/01/1996

Cite this

@inproceedings{62ab0d588d1549f1b96c83dc5cd04a81,

title = "Type-Directed Partial Evaluation",

author = "Olivier Danvy",

year = "1996",

language = "English",

pages = "242--257",

booktitle = "Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium",

publisher = "Association for Computing Machinery",

address = "United States",

note = "23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '96 ; Conference date: 21-01-1996 Through 24-01-1996",

}

Danvy, O 1996, Type-Directed Partial Evaluation. in Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium. Association for Computing Machinery, pp. 242-257, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '96, Skt. Petersborg, Russian Federation, 21/01/1996.

Type-Directed Partial Evaluation. / Danvy, Olivier.
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium. Association for Computing Machinery, 1996. p. 242-257.

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Type-Directed Partial Evaluation

AU - Danvy, Olivier

PY - 1996

Y1 - 1996

M3 - Article in proceedings

SP - 242

EP - 257

BT - Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium

PB - Association for Computing Machinery

T2 - 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '96

Y2 - 21 January 1996 through 24 January 1996

ER -