Ko

A language for programming recursive circuits

Ko
2. Language
2. Language

Ko is a programming language (syntax with a packaging system) for a new general purpose (i.e. universal) model of computation, called Recursive Circuits, which has the benfit (over Turing and von Neuman Machines) of supporting full type inference, concurrency and deadlock-free synchronization.