Joy

Joy is a functional dynamic stack-based programming language designed by Manfred von Thun. Joy was the primary inspiration for the Cat language.

Links

The following are online papers written about Joy by Manfred von Thun.

1. Tutorial on Joy
2. Mathematical Foundations of Joy
3. Atomic Programs of Joy
4. The Algebra of Joy
5. Recursion Theory and Joy
6. Programming in Joy
7. A rewriting system for Joy
8. Joy compared with other functional languages