Academic Journal
Talking bananas: structural recursion for session types
| Τίτλος: | Talking bananas: structural recursion for session types |
|---|---|
| Συγγραφείς: | Lindley, Sam, Morris, J. Garrett |
| Πηγή: | ACM SIGPLAN Notices - ICFP '16. 51(9):434-447 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3022670.2951921 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!