A type-based complexity analysis of Object Oriented programs

Information and Computation (2018) - Comments
doi: 10.1016/j.ic.2018.05.006 issn: 0890-5401

Emmanuel Hainry, Romain Péchoux