Discount method for programming language evaluation. - Svetomir Kurtev; Tommy Aagaard Christensen; Bent Thomsen (PLATEAU@SPLASH, 2016)