total functional programming

non-Turing-complete programming paradigm restricted to provably terminating programs

Categorias: