Session types for rust

Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

63 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming : WGP 2015
Antal sider	10
Forlag	Association for Computing Machinery
Publikationsdato	2015
Sider	13-22
ISBN (Trykt)	978-1-4503-3810-3
DOI	https://doi.org/10.1145/2808098.2808100
Status	Udgivet - 2015
Begivenhed	ACM SIGPLAN Workshop on Generic Programming 2015 - Vancouver, British Columbia, Canada Varighed: 31 aug. 2015 → 2 sep. 2015 Konferencens nummer: 11

Konference	ACM SIGPLAN Workshop on Generic Programming 2015
Nummer	11
Land/Område	Canada
By	Vancouver, British Columbia
Periode	31/08/2015 → 02/09/2015

Emneord

@inbook{b8947c22fc7548249795ee8a801790cb,

title = "Session types for rust",

keywords = "Rust, Session types, concurrency, generic types",

author = "Jespersen, {Thomas Bracht Laumann} and Philip Munksgaard and Larsen, {Ken Friis}",

year = "2015",

doi = "10.1145/2808098.2808100",

language = "English",

isbn = "978-1-4503-3810-3",

pages = "13--22",

booktitle = "Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming",

publisher = "Association for Computing Machinery",

note = "ACM SIGPLAN Workshop on Generic Programming 2015, ICFP 2015 ; Conference date: 31-08-2015 Through 02-09-2015",

}

TY - CHAP

T1 - Session types for rust

AU - Jespersen, Thomas Bracht Laumann

AU - Munksgaard, Philip

AU - Larsen, Ken Friis

N1 - Conference code: 11

PY - 2015

Y1 - 2015

KW - Rust, Session types, concurrency, generic types

U2 - 10.1145/2808098.2808100

DO - 10.1145/2808098.2808100

M3 - Book chapter

SN - 978-1-4503-3810-3

SP - 13

EP - 22

BT - Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming

PB - Association for Computing Machinery

T2 - ACM SIGPLAN Workshop on Generic Programming 2015

Y2 - 31 August 2015 through 2 September 2015

ER -