@phdthesis{henriksen:phdthesis,
  author       = {Troels Henriksen},
  title        = {Design and Implementation of the Futhark Programming Language},
  school       = {University of Copenhagen},
  year         = 2017,
  address      = {Universitetsparken 5, 2100 København},
  month        = 11,
}