Chaperone Contracts for Higher-Order Sessions Hernn Melgratti, Buenos Aires, Argentina Luca
Chaperone Contracts for Higher-Order Sessions Hernn Melgratti, Buenos Aires, Argentina Luca Padovani, Torino, Italy Dagstuhl Seminar 17051, 2017 A simple FuSe program let server ep = let p, ep = receive ep in let root = ... in let ep = send
573 views • 24 slides