Jeremiah Hendren February 5, 2021 Computer Science The Arrow Calculus Jeremiah Hendren February 5, 2021 Computer Science Lindley, Sam, Philip Wadler, and Jeremy YallopJournal of Functional Programming 20, no. 1 (2010): 51-69
Jeremiah Hendren February 4, 2021 Computer Science Propositions as Sessions Jeremiah Hendren February 4, 2021 Computer Science Wadler, PhilipACM SIGPLAN Notices 47, no. 9 (2012): 273-286
