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

## Christopher Diggins — 2007-11-08 16:52:16

    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

## Daniel Ehrenberg — 2007-11-08 17:20:50

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

     On Nov 8, 2007 10:52 AM, Christopher Diggins <cdiggins@...> 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

    >

## Christopher Diggins — 2007-11-08 17:24:34

    On Nov 8, 2007 12:20 PM, Daniel Ehrenberg <microdan@...> wrote:

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

     Thanks for the offer Daniel. I can send you or anyone who is

    interested a copy on Saturday morning. Does that work for you?

    - Christopher

## William Tanksley, Jr — 2007-11-08 20:03:13

    Please send me a copy... But I've got a baby to get ready for, so I

    don't expect to actually get anything DONE.

    -Wm

## Christopher Diggins — 2007-11-10 22:11:29

    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 <microdan@...> wrote:

    >

    >

    >

    >

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

    >

    >

    >

    > On Nov 8, 2007 10:52 AM, Christopher Diggins <cdiggins@...> 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

    > >

    >

    >

    >