Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
A session type provider: compile-time API generation of distributed protocols with refinements in F#
CC, 2018.
@inproceedings{CC-2018-NeykovaHYA, author = "Rumyana Neykova and Raymond Hu and Nobuko Yoshida and Fahd Abdeljallal", booktitle = "{Proceedings of the 27th International Conference on Compiler Construction}", doi = "10.1145/3178372.3179495", pages = "128--138", publisher = "{ACM}", title = "{A session type provider: compile-time API generation of distributed protocols with refinements in F#}", year = 2018, }