What do types mean?: from intrinsic to extrinsic semantics (2003)

by J C Reynolds
Venue:In Programming methodology