Graydon Hoare@graydon_pub·Mar 12, 2018Neykova, Hu, Yoshida & Abdeljallal: A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F# paper: http://mrg.doc.ic.ac.uk/publications/a-session-type-provider/paper.pdf… slides: http://mrg.doc.ic.ac.uk/publications/a-session-type-provider/slides.pdf… (This stuff is _fantastic_)33477
Brendan Zabarauskas@brendanzabReplying to @graydon_pubThis stuff fills me with hope!7:18 AM · Mar 12, 2018·Twitter Web Client1 Like
