Skip to content

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.

Viviana Bono, Luigi Liquori

VenueBCSL
Year1994
ProceedingsCSL

Browse the full CSL paper archive.