[Haskell-cafe] Categorical language

Matt Hellige matt at immute.net
Thu Sep 4 22:04:31 EDT 2008

On Thu, Sep 4, 2008 at 1:46 PM, Pierre-Evariste Dagand
<pedagand at gmail.com> wrote:
>> what could be a "categorical language"?
> Something we would call Charity, for example :-)

Also check out Tatsuya Hagino's PhD thesis, available here:

It's a precursor to the Charity work, and a very nice presentation of the ideas.

Take care...

More information about the Haskell-Cafe mailing list