On quadratically convergent methods for semi-infinite programming