Conference
Proofs in continuation-passing style : normalization of Gdel's System T extended with sums and delimited control operators: Distilled Tutorial
| Τίτλος: | Proofs in continuation-passing style : normalization of Gdel's System T extended with sums and delimited control operators: Distilled Tutorial |
|---|---|
| Συγγραφείς: | Ilik, Danko |
| Πηγή: | Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. :55-56 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/2643135.2643161 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/2643135.2643161 |
|---|