Title: Imperative_To_Functional_Programming Theory and Practice