The Froglingo is a language system unifying both database management and programming language. It is based on Lambda Calculus and the function space theory. A database applications with 1000 lines of code in Java and SQL can be compressed with 100 lines of code in Froglingo.

The Froglingo exploits the lambda calculus and the function space theory in the following ways:

Also see the Froglingo home page.