Maximilian Algehed. A Perspective on the Dependency Core Calculus. In Mário S. Alvim, Stéphanie Delaune, editors, Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 24-28, ACM, 2018. [doi]
@inproceedings{Algehed18,
title = {A Perspective on the Dependency Core Calculus},
author = {Maximilian Algehed},
year = {2018},
doi = {10.1145/3264820.3264823},
url = {https://doi.org/10.1145/3264820.3264823},
researchr = {https://researchr.org/publication/Algehed18},
cites = {0},
citedby = {0},
pages = {24-28},
booktitle = {Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
editor = {Mário S. Alvim and Stéphanie Delaune},
publisher = {ACM},
isbn = {978-1-4503-5993-1},
}