Title

Denotational cost semantics for functional languages with inductive types

Document Type

Article

Publication Date

2015

Journal or Book Title

ICFP 2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming