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,
}