Skip to content

Rank 2 intersection types for modules.

Ferruccio Damiani

VenueCPPDP
Year2003
ProceedingsPPDP

Browse the full PPDP paper archive.