João Costa Seco

Citation:

Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.

Notes:

URL={http://ctp.di.fct.unl.pt/ jcs/bibIndex/papers/tech-report.ps.gz}