A Calculus of Components with Dynamic Type-Checking (0)

by S Fagorzi, E Zucca
Venue:Electronic Notes in Theoretical Computer Science (ENTCS