@inproceedings{toninho-2011-dependent, series={PPDP ’11}, title={Dependent session types via intuitionistic linear type theory}, url={http://dx.doi.org/10.1145/2003476.2003499}, DOI={10.1145/2003476.2003499}, booktitle={Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming}, publisher={ACM}, author={Toninho, Bernardo and Caires, Luís and Pfenning, Frank}, year={2011}, month=July, pages={161–172}, collection={PPDP ’11} }