Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures
Paper in proceeding, 2008
Author
Nils Anders Danielsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08; San Francisco, CA; United States; 7 January 2008 through 12 January 2008
0730-8566 (ISSN)
133-144978-159593689-9 (ISBN)
Subject Categories
Computer Science
DOI
10.1145/1328438.1328457
ISBN
978-159593689-9