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

I could help provide feedback, but where is the paper?

On Nov 8, 2007 10:52 AM, Christopher Diggins <[email protected]> wrote:
>
> 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
>