@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}, }