BibTex format
@inproceedings{Innes:2019:10.1145/3331554.3342606,
author = {Innes, S and Wu, N},
doi = {10.1145/3331554.3342606},
pages = {40--51},
publisher = {ASSOC COMPUTING MACHINERY},
title = {Tic Tac Types A Gentle Introduction to Dependently Typed Programming (Functional Pearl)},
url = {http://dx.doi.org/10.1145/3331554.3342606},
year = {2019}
}