A type-theoretical alternative to ISWIM, CUCH, OWHY

MIS personnel historically have exhibited a disturbingly high rate of turnover, and the job of the MIS manager is increasingly oriented to personnel and staffing problems. The MIS careers literature consistently suggests that what is needed to improve ...

We study a variant of System F_≤ that integrates and generalizes several existing proposals for calculi with "structural typing rules." To the usual type constructors (→, , All, Some, Rec) we add a number of type destructors, each internalizing a useful ...

Existential types provide a simple and elegant foundation for understanding generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting to extend ML with support for recursive modules, we have found ...