Amortised Resource Analysis and Typed Polynomial Interpretations

Martin Hofmann and Georg Moser
Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014), Lecture Notes in Computer Science 8560, pp. 272 – 286, 2014.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-08918-8_19  
© Springer International Publishing Switzerland