Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures
Paper i proceeding, 2008
Författare
Nils Anders Danielsson
Chalmers, Data- och informationsteknik, Datavetenskap
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)
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1145/1328438.1328457
ISBN
978-159593689-9