# [Req. for Comments] Revised Cat Technical Report

## Christopher Diggins — 2007-02-26 05:32:24

    I've posted a revised version of the Cat programming language

    technical report at http://www.cat-language.com/paper.html.

    The abstract follows:

    ==

    Cat: A Typed Functional Stack-Based Language

       Cat is a purely functional stack-based language with very simple

    semantics and a novel type system, which makes it appropriate for

    usage as an intermediate language. Cat differs from most other

    functional languages in that the concatenation of terms implies the

    operation of function composition instead of the more common operation

    of function application.

       This paper presents the semantics and a type-system for Cat, and

    briefly discusses some of the interesting properties of the language.

    ==

    My goal is to submit the article to the International Conference on

    Functional Programming

    (http://www.informatik.uni-bonn.de/~ralf/icfp07.html)

    Any suggestions on how to improve the paper would be much appreciated.

    Christopher Diggins

    http://www.cdiggins.com