Standard
Session types for rust. / Jespersen, Thomas Bracht Laumann; Munksgaard, Philip; Larsen, Ken Friis.
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, 2015. p. 13-22.
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
Jespersen, TBL, Munksgaard, P
& Larsen, KF 2015,
Session types for rust. in
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, pp. 13-22, ACM SIGPLAN Workshop on Generic Programming 2015, Vancouver, British Columbia, Canada,
31/08/2015.
https://doi.org/10.1145/2808098.2808100
APA
Jespersen, T. B. L., Munksgaard, P.
, & Larsen, K. F. (2015).
Session types for rust. In
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015 (pp. 13-22). Association for Computing Machinery.
https://doi.org/10.1145/2808098.2808100
Vancouver
Jespersen TBL, Munksgaard P
, Larsen KF.
Session types for rust. In Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery. 2015. p. 13-22
https://doi.org/10.1145/2808098.2808100
Author
Jespersen, Thomas Bracht Laumann ; Munksgaard, Philip ; Larsen, Ken Friis. / Session types for rust. Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, 2015. pp. 13-22
Bibtex
@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",
}
RIS
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 -