Skip to content

Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism.

Alexis Bernadet, Stphane Lengrand

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.