DMCA

On Type Inference in the Intersection Type Discipline (2004)

by Gérard Boudol , Pascal Zimmer , Inria Sophia Antipolis
Citations:10 - 0 self