Amortised Resource Analysis with Separation Logic.

Robert Atkey

Browse the full ESOP paper archive.