Skip to content

Subtyping with Power Types.

David Aspinall

VenueBCSL
Year2000
ProceedingsCSL

Browse the full CSL paper archive.