Kristiansen, Lars

• BRICS Report Series No. 46 (2001): RS-46 The Implicit Computational Complexity of Imperative Programming Languages - Articles
  The Implicit Computational Complexity of Imperative Programming Languages
  Abstract  PDF