Title

A static cost analysis for a higher-order language

Document Type

Article

Publication Date

2013

Journal or Book Title

PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification

Share

COinS