@inproceedings{c87881c8bd574ca18f44050f202351fa,
title = "Fencing off Go: Liveness and safety for channel-based programming",
keywords = "Channel-based programming, Compiletime (static) deadlock detection, Message-passing programming, Process calculus, Safety and Liveness, Types",
author = "Julien Lange and Nicholas Ng and Bernardo Toninho and Nobuko Yoshida",
year = "2017",
month = jan,
doi = "10.1145/3009837.3009847",
language = "English",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "Association for Computing Machinery (ACM)",
pages = "748--761",
editor = "Gordon, {Andrew D.} and Giuseppe Castagna",
booktitle = "POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages",
address = "United States",
note = "44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 ; Conference date: 15-01-2017 Through 21-01-2017",
}