@PhdThesis{       Mossin,
  Author        = "Mossin, Christian",
  date-added    = "2013-06-27 13:06:50 +0000",
  date-modified = "2013-06-27 13:07:34 +0000",
  Keywords      = "control-flow analysis",
  School        = "University of Copenhagen",
  Title         = "Flow Analysis of Typed Higher-Order Programs",
  Year          = "1997",
  File          = "Flow Analysis of Typed Higher-Order Programs - Mossin (0) (0) - a - a - i.pdf"
}

@PhdThesis{ Mossin, Author = "Mossin, Christian", date-added = "2013-06-27 13:06:50 +0000", date-modified = "2013-06-27 13:07:34 +0000", Keywords = "control-flow analysis", School = "University of Copenhagen", Title = "Flow Analysis of Typed Higher-Order Programs", Year = "1997", File = "Flow Analysis of Typed Higher-Order Programs - Mossin (0) (0) - a - a - i.pdf" }