1,029 followers
おそらく部分型と圏論の関係が述べられているRaynoldsの論文 https://t.co/YgeYMphHTF
おそらく部分型と圏論の関係が述べられているRaynoldsの論文 https://t.co/YgeYMphHTF
@arntzenius And these morphisms must preserve the operations of your language c.f. Reynolds' "Using category theory to design implicit conversions and generic operators" https://t.co/PgawRVacmF