A Prescriptive Framework for Designing Multi-Level Lambda-Calculi
Publication: Research - peer-review › Article in proceedings – Annual report year: 1997
| Original language | English |
|---|---|
| Title | Proc. PEPM'97 |
| Publisher | ACM Press |
| Publication date | 1997 |
| Pages | 193-202 |
| State | Published |
Conference
| Conference | Proc. PEPM'97 |
|---|---|
| Period | 01-01-97 → … |
ID: 2859843