%0 Conference Paper %1 conf/icfp/LindleyM16 %A Lindley, Sam %A Morris, J. Garrett %B ICFP %D 2016 %E Garrigue, Jacques %E Keller, Gabriele %E Sumii, Eijiro %I ACM %K %P 434-447 %T Talking bananas: structural recursion for session types. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#LindleyM16 %@ 978-1-4503-4219-3

@inproceedings{conf/icfp/LindleyM16, added-at = {2023-12-13T01:17:07.000+0100}, author = {Lindley, Sam and Morris, J. Garrett}, biburl = {https://www.bibsonomy.org/bibtex/2b548b4e3f5240345b03b7c490229fda7/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2016}, editor = {Garrigue, Jacques and Keller, Gabriele and Sumii, Eijiro}, ee = {https://doi.org/10.1145/2951913.2951921}, interhash = {6f5acad3dcc4eb64a9ed0dd3af7bf376}, intrahash = {b548b4e3f5240345b03b7c490229fda7}, isbn = {978-1-4503-4219-3}, keywords = {}, pages = {434-447}, publisher = {ACM}, timestamp = {2023-12-13T01:17:07.000+0100}, title = {Talking bananas: structural recursion for session types.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2016.html#LindleyM16}, year = 2016 }