Yes, that's the paper I was referring. They also explain why TCO is (or should be) the natural style to write your compiler for.