Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/18446
Title: | A session type provider compile-time API generation of distributed protocols with refinements in F# |
Authors: | Neykova, R Hu, R Yoshida, N Abdeljallal, F |
Keywords: | Multiparty Session Types;Distributed Programming;F#;Type Providers;Code Generation |
Issue Date: | 1-Jan-2018 |
Publisher: | CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018 |
Citation: | CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018, 2018, 2018-February pp. 128 - 138 |
URI: | http://bura.brunel.ac.uk/handle/2438/18446 |
DOI: | http://dx.doi.org/10.1145/3178372.3179495 |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 959.08 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.