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

Περιγραφή
ISSN:	03621340 15581160
DOI:	10.1145/3022670.2951921