Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal. A session type provider: compile-time API generation of distributed protocols with refinements in F#. In Christophe Dubach, Jingling Xue, editors, Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria. pages 128-138, ACM, 2018.
Abstract is missing.