The top documents tagged [constant derivation]

A System F accounting for scalars
Documents A System F accounting for scalars

547 views