StrongFunctionalProgramming is another name for TotalFunctionalProgramming.