Somewhere for me to play with writing my own language. Somewhere for me and others to play with primitive recursive functions. Normally, when reading examples of PRFs, the types are implicit. We'll ...

I'll assume you know what a primitive recursive function is. If not, go look it up, as it's quite interesting, if only for the fact that it demonstrates even a genius like Kurt Gödel can sometimes be ...

Abstract: General Purpose programming languages such as C++, Python suffer from resource management and input errors because they are Turing-complete. The goal of this paper is to introduce a ...

Due to a planned power outage on Friday, 1/14, between 8am-1pm PST, some services may be impacted. A line drawing of the Internet Archive headquarters building façade. An illustration of a magnifying ...

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 design of programs as the composition of smaller ones is a wide spread approach to programming. In functional programming, this approach raises the necessity of creating a good amount of ...