Flavien Breuvart, Ugo Dal Lago
On Intersection Types and Probabilistic Lambda Calculi
PPDP, 2018.
@inproceedings{PPDP-2018-BreuvartL,
author = "Flavien Breuvart and Ugo Dal Lago",
booktitle = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}",
doi = "10.1145/3236950.3236968",
pages = "13",
publisher = "{ACM}",
title = "{On Intersection Types and Probabilistic Lambda Calculi}",
year = 2018,
}