Bernd Grobauer
Cost Recurrences for DML Programs
ICFP, 2001.
@inproceedings{ICFP-2001-Grobauer, author = "Bernd Grobauer", booktitle = "{Proceedings of the Sixth International Conference on Functional Programming}", doi = "10.1145/507635.507666", editor = "Benjamin C. Pierce", isbn = "1-58113-415-0", pages = "253--264", publisher = "{ACM}", title = "{Cost Recurrences for DML Programs}", year = 2001, }