Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.

Jerzy Tiuryn

Browse the full MFCS paper archive.