@inproceedings{HoffHof10Aplas,
  author    = {Jan Hoffmann and
               Martin Hofmann},
  title     = {{Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics}},
  booktitle = {{8th Asian Symp. on Prog. Langs. (APLAS'10)}},
  year      = {2010},
  pages     = {172-187},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6461}
}