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

Hi Daniel,

I have posted a version of the paper online:
http://www.cat-language.com/pldi_cat_08.pdf

Thanks for looking at the paper, I look forward to your comments.

- Christopher

On Nov 8, 2007 12:20 PM, Daniel Ehrenberg <[email protected]> wrote:
>
>
>
>
> 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
> >
>
>
>