Denotational cost semantics for functional languages with inductive types.

Norman Danner, Daniel R. Licata, Ramyaa

Browse the full ICFP paper archive.