Given the importance of recursion in modern linguistics, there ought to be much to commend in Watumull et al.'s (2014) attempt to clarify what recursion is (or ought to be); I have trudged this very ...

The object-oriented paradigm popularized by languages including Java and C++ has slowly given way to a functional programming approach that is advocated by popular Python libraries and JavaScript ...

Introduce an annotation to rewrite mutually recursive functions to use a trampoline. This will enable the user to avoid exceeding the stack size at the expense of more overhead until ES6 proper tail ...

Some collection functions in core lib crash in the case the collections are getting too big. (For example foldM in purescript-arrays). This is of course very unfortunate, because the type system ...

Abstract: We describe a learning-based approach for verifying recursive functions. The Boolean formula learning algorithm CDNF is used to automatically infer function summaries for recursive functions ...

ABSTRACT: It is shown that the process of conventional functional differentiation does not apply to functionals whose domain (and possibly range) is subject to the condition of integral normalization, ...

Abstract: Reconfigurable computing devices such as FPGAs offer application developers the ability to create solutions with a performance comparable to that of a hardware solution, but with the ...