Elementary Strong Functional Programming

ElementaryStrongFunctionalProgramming is another name for TotalFunctionalProgramming.