Higher Derivative Corrections to the Low-Energy E ective Action of Type IIA/B String Theory and M-theory