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