Archived tweet #11629 from the @leastfixedpoint Twitter Archive

@MIT_CSAIL @BrianTRice @UMinho_Oficial The paper doesn't mention version numbers for any of the software it runs. I wonder if the TypeScript numbers include ts-to-js compilation time? That could explain the otherwise startling difference between ts and js, which isn't addressed at all in the paper.