You are here:
» Type-Directed Partial Evaluation
About Aarhus University
Type-Directed Partial Evaluation
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
- Department of Computer Science
| 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 year | 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 |
|---|---|
| Land | Russian Federation |
| By | Skt. Petersborg |
| Periode | 21/01/1996 → 24/01/1996 |
See relations at Aarhus University Citationformats
ID: 36020621