@inproceedings{D_Antoni_2013,
    doi = {10.1145/2505351.2505353},
    url = {https://doi.org/10.1145%2F2505351.2505353},
    year = {2013},
    month = {sep},
    publisher = {{ACM}},
    author = {Loris D{\textquotesingle}Antoni and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Andreas Haeberlen and Benjamin Pierce},
    title = {Sensitivity analysis using type-based constraints},
    booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages}
}

@inproceedings{D_Antoni_2013, doi = {10.1145/2505351.2505353}, url = {https://doi.org/10.1145%2F2505351.2505353}, year = {2013}, month = {sep}, publisher = {{ACM}}, author = {Loris D{\textquotesingle}Antoni and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Andreas Haeberlen and Benjamin Pierce}, title = {Sensitivity analysis using type-based constraints}, booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages} }