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

> >

>

>

>