Termination Combinators Forever

by Maximilian Bolingbroke , Simon Peyton , Jones Dimitrios Vytiniotis