Cat Technical Report
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.