Strong Functional Programming

StrongFunctionalProgramming is another name for TotalFunctionalProgramming.