StrongFunctionalProgramming
Last edit February 13, 2009
StrongFunctionalProgramming
is another name for
TotalFunctionalProgramming
.