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

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/18446

Full metadata record

DC Field	Value	Language
dc.contributor.author	Neykova, R	-
dc.contributor.author	Hu, R	-
dc.contributor.author	Yoshida, N	-
dc.contributor.author	Abdeljallal, F	-
dc.date.accessioned	2019-06-14T10:02:43Z	-
dc.date.available	2018-02-24	-
dc.date.available	2019-06-14T10:02:43Z	-
dc.date.issued	2018-01-01	-
dc.identifier.citation	CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018, 2018, 2018-February pp. 128 - 138	en_US
dc.identifier.uri	http://bura.brunel.ac.uk/handle/2438/18446	-
dc.format.extent	128 - 138	-
dc.language.iso	en	en_US
dc.publisher	CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018	en_US
dc.source	Compiler Construction	-
dc.source	Compiler Construction	-
dc.subject	Multiparty Session Types	en_US
dc.subject	Distributed Programming	en_US
dc.subject	F#	en_US
dc.subject	Type Providers	en_US
dc.subject	Code Generation	en_US
dc.title	A session type provider compile-time API generation of distributed protocols with refinements in F#	en_US
dc.type	Article	en_US
dc.identifier.doi	http://dx.doi.org/10.1145/3178372.3179495	-
dc.relation.isPartOf	CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018	-
pubs.publication-status	Published	-
pubs.volume	2018-February	-
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