@MastersThesis{MottlM2000,
  author =   "Markus Mottl",
  title =    "Automating Functional Program Transformation",
  school =   "Division of Informatics, University of Edinburgh",
  year =      2000,
  month =     sep,
  abstract = "We present a framework for automatic program transformation
              of a strict and pure functional language with a well-defined
              semantics. It will be shown that such a framework can be
              implemented most declaratively and concisely in a recently
              developed higher-order logic programming language called
              LambdaProlog.",
  keywords = "program transformation, partial evaluation, program
              synthesis, formal semantics, higher-order logic,
              LambdaProlog, monads, functional programming, program
              optimisation, fold/unfold"
  URL =      "http://www.ocaml.info/home/publications.html#msc_thesis"
}