A session type provider: compile-time API generation of distributed protocols with refinements in F# - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. [doi]

This author has not been identified. Look up 'Rumyana Neykova' in GoogleThis author has not been identified. Look up 'Raymond Hu' in GoogleThis author has not been identified. Look up 'Nobuko Yoshida' in GoogleThis author has not been identified. Look up 'Fahd Abdeljallal' in Google

runs on WebDSL