  We construct a moduli space of slope-semistable pure sheaves, building upon
previous work of Le Potier and Jun Li on torsion-free sheaves over smooth
surfaces. In particular, our construction provides a compactification of the
Simpson moduli space of slope-stable reflexive sheaves. We also prove an
effective restriction theorem for slope-(semi)stable pure sheaves following an
approach due to Langer.
