Stephanie Weirich. The influence of dependent types (keynote). In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 1, ACM, 2017. [doi]
@inproceedings{Weirich17,
title = {The influence of dependent types (keynote)},
author = {Stephanie Weirich},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009923},
researchr = {https://researchr.org/publication/Weirich17},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
editor = {Giuseppe Castagna and Andrew D. Gordon},
publisher = {ACM},
isbn = {978-1-4503-4660-3},
}