Conference
Characterizing strong normalization in a language with control operators
| Title: | Characterizing strong normalization in a language with control operators |
|---|---|
| Authors: | Dougherty, Dan, Ghilezan, Silvia, Lescanne, Pierre |
| Source: | Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming. :155-166 |
| Availability: | http://dl.acm.org/doi/10.1145/1013963.1013982 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/1013963.1013982 |
|---|