Effective Operations and Partial Recursive Functionals