The gas phase reactions between HF and the protonated alkyl fluorides MeFH+, EtFH+, Pr(i)FH+, and Bu(t)FH+ have been studied using ab initio methods. The potential energy profiles for both nucleophilic substitution (S(N)2) and elimination (E2) pathways have been investigated. Both backside Walden inversion and frontside nucleophilic substitution reaction profiles have been generated. Backside substitution is very favourable, but shows relatively little variation with the alkyl group. Frontside substitution reaction barriers are only slightly higher than the barrier for backside substitution for HF + MeFH+, and the difference in barrier heights for frontside and backside displacement seems negligible for the larger alkyl groups. Reaction barrier trends have been analysed and compared with the results of similar studies of the H2O/ROH2+ and NH3/RNH3+ systems (R = Me, Et, Pr(i), and Bu(t)). Compared to the two other classes, protonated fluorides have extreme structures which, with the exception of the Me substrate, are weakly bound complexes between an alkyl cation and HF. The results nourish the idea that nucleophilic substitution reactions are better understood in view of competition between frontside and backside substitution than from the traditional S(N)1/S(N)2 perspective.