There is no "theoretical" answer to this. There is no sound "theory" that will allow you to make accurate predictions.
Besides, the whole idea of a "theoretical" comparison of program language performance is nonsensical. Performance comparisons are about actual (non-theoretical) programs compiled with actual (non-theoretical) compilers running on actual (non-theoretical) machines on actual (non-theoretical) data sets.
If you are asking for a "rule of thumb" guess, based on typical applications, typical compilers, equivalent levels of programmer skill, and as much programmer time as is required, then:
- C is probably fastest
- Java is probably 1/3 to 1 times the speed of C
- Haskell is probably 1/2 to 1 times the speed of Java.
(Based on what the "benchmark game" site says as of 22/2/2015.)
However ... this may be different for some applications, and it depends hugely on the maturity of the compilers and the skills of the programmer in the respective languages.
Besides ... a mature software engineer / project manager does not choose the programming language for a project solely on which one gives the fastest results. Other factors are usually more important than raw speed.