Skip to content

Subtyping Functional+Nonempty Record Types.

Sergei G. Vorobyov

VenueBCSL
Year1998
ProceedingsCSL

Browse the full CSL paper archive.