The Role of Polymorphism in the Characterisation of Complexity by Soft Types

Jacek Chrzaszcz, Aleksy Schubert. The Role of Polymorphism in the Characterisation of Complexity by Soft Types. In Filip Murlak, Piotr Sankowski, editors, Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. Volume 6907 of Lecture Notes in Computer Science, pages 219-230, Springer, 2011. [doi]

Abstract

Abstract is missing.