I'm an expert in this domain. People make up words for the sake of sexy paper titles. You can recognize it when there's no formal definition in the body of the paper;
> paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types
"most common ... patterns". ok.
they're alluding to math[1] but they're not doing math.
> paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types
"most common ... patterns". ok.
they're alluding to math[1] but they're not doing math.
[1] https://link.springer.com/article/10.1007/BF01211391