|Present||Faculty Member, Wesleyan University|
Refereed papers (7)
A static cost analysis for a higher-order language
Proceedings of the 7th workshop on Programming languages meets program verification (2013)
We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression ...