[Haskell-cafe] Categorical language
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.
More information about the Haskell-Cafe