Skip to content

Correctly typing objects through subtyping and type inference.

Xuequn Wu

Year1992
ProceedingsSAC

Browse the full SAC paper archive.