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.
By the way Artima.com is already acknowledged collectively for the amazing help and contributions I have had here over the past year.