Towards a formalization for COM part i: the primitive calculus.

Riccardo Pucella

Browse the full OOPSLA paper archive.