@article{ACCATTOLI_2020,
    doi = {10.1017/s095679682000012x},
    url = {https://doi.org/10.1017%2Fs095679682000012x},
    year = {2020},
    publisher = {Cambridge University Press ({CUP})},
    volume = {30},
    author = {BENIAMINO ACCATTOLI and ST{\'{E}}PHANE GRAHAM-LENGRAND and DELIA KESNER},
    title = {Tight typings and split bounds, fully developed},
    journal = {Journal of Functional Programming}
}

@article{ACCATTOLI_2020, doi = {10.1017/s095679682000012x}, url = {https://doi.org/10.1017%2Fs095679682000012x}, year = {2020}, publisher = {Cambridge University Press ({CUP})}, volume = {30}, author = {BENIAMINO ACCATTOLI and ST{\'{E}}PHANE GRAHAM-LENGRAND and DELIA KESNER}, title = {Tight typings and split bounds, fully developed}, journal = {Journal of Functional Programming} }