[stack] Request for Comments: Cat Paper submission for PLDI '08 "A Type-System for Higher-Order Stack-Oriented Languages"

I am now working on a new formal paper about Cat type system and
semantics for PLDI (Programming Language Design and Implementation),
this time with several coauthors (a fellow student, and my two
advisors). My previous paper was rejected at ICFP (International
Conference on Functional Programming) but I greatly appreciate
everyone who helped out on that. Another paper about Cat, focusing on
the term rewriting system, is under consideration at CC (Internation
Compiler Construction Conference).

I am hoping some people would be interested in reviewing and providing
some feedback on the paper. The deadline for the conference is
November 15 (one week from today), and I will probably have a draft
ready for review by Saturday for anyone who has time or interest in
reading or commenting on the paper. Let me know if you are interested.

Thanks,
Christopher