Talking bananas: structural recursion for session types.

Sam Lindley, J. Garrett Morris

Browse the full ICFP paper archive.