No authors of 1104.1998 can endorse.

Amortised Resource Analysis with Separation Logic

Robert Atkey:

Is registered as an author of this paper.
Not currently an endorser. (why?)