Conference
Characterizing strong normalization in a language with control operators
| Τίτλος: | Characterizing strong normalization in a language with control operators |
|---|---|
| Συγγραφείς: | Dougherty, Dan, Ghilezan, Silvia, Lescanne, Pierre |
| Πηγή: | Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming. :155-166 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/1013963.1013982 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!