Nils Anders Danielsson
Lightweight semiformal time complexity analysis for purely functional data structures
POPL, 2008.
@inproceedings{POPL-2008-Danielsson, author = "Nils Anders Danielsson", booktitle = "{Proceedings of the 35th Symposium on Principles of Programming Languages}", doi = "10.1145/1328438.1328457", editor = "George C. Necula and Philip Wadler", isbn = "978-1-59593-689-9", pages = "133--144", publisher = "{ACM}", title = "{Lightweight semiformal time complexity analysis for purely functional data structures}", year = 2008, }