Pierre-Marie Pédrot, Nicolas Tabareau
The fire triangle: how to mix substitution, dependent elimination, and effects
POPL, 2020.
@article{POPL-2020-PedrotT,
author = "Pierre-Marie Pédrot and Nicolas Tabareau",
doi = "10.1145/3371126",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{The fire triangle: how to mix substitution, dependent elimination, and effects}",
volume = 4,
year = 2020,
}