I read this as 'A cont of type r a is a function that, given a function of type ...

bjl on May 12, 2017 | parent | context | favorite | on: The Soft Side of Software

I read this as 'A cont of type r a is a function that, given a function of type a to r, returns an r'.