I've posted a revised version of the Cat programming language
technical report at http://www.cat-language.com/paper.html.
The abstract follows:
==
Cat: A Typed Functional Stack-Based Language
Cat is a purely functional stack-based language with very simple
semantics and a novel type system, which makes it appropriate for
usage as an intermediate language. Cat differs from most other
functional languages in that the concatenation of terms implies the
operation of function composition instead of the more common operation
of function application.
This paper presents the semantics and a type-system for Cat, and
briefly discusses some of the interesting properties of the language.
==
My goal is to submit the article to the International Conference on
Functional Programming
(http://www.informatik.uni-bonn.de/~ralf/icfp07.html)
Any suggestions on how to improve the paper would be much appreciated.
Christopher Diggins
http://www.cdiggins.com