Propositions as Sessions February 4, 2021 Jeremiah Hendren Propositions as Sessions Wadler, PhilipACM SIGPLAN Notices 47, no. 9 (2012): 273-286https://doi.org/10.1145/2398856.2364568 See this gallery in the original post