The top documents tagged [type systems of data]

Inferring the type systems under data processing programs
Documents Inferring the type systems under data processing programs

44 views