[TYPES] [Request-for-Comments] Cat : A Typed Functional Stack-Based Language

[Christopher Diggins]

I am writing to request comments and criticisms of my paper "Cat: A
Typed Functional Stack Based Language". The abstract follows:

==
"Stack-based application languages, such as Forth and Postscript,
traditionally have provided little or no support for functional
programming and have lacked a formal static type system. This changed
when Manfred von Thun introduced Joy, a functional stack-based
language, and Stephan Becher provided an implementation of
StrongForth, a dialect of Forth with an informal type system. This
paper introduces the semantics and type system for a pure functional
programming language which is entirely stack based"
==

This is my first attempt at a scholarly article, so even what might be
considered "obvious" suggestions would still be much appreciated.

--
Christopher Diggins
http://www.cdiggins.com