@phdthesis{Chen2018,
  author      = {Yan Chen},
  title       = {Implicit Self-Adjusting Computation for Purely Functional Programs},
  type        = {doctoralthesis},
  pages       = {IX, 133},
  school      = {Technische Universit{\"a}t Kaiserslautern},
  year        = {2018},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-54175},
}