Intersection and Union Types in the λµ µ-calculus (2005)

by Daniel J. Dougherty , Silvia Ghilezan , Pierre Lescanne
Citations:6 - 0 self