Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=241775
Copy and paste this citation
TIM SHEARD
and EMIR PASALIC
(2004).
Two-level types and parameterized modules. Journal of Functional Programming, 14
,
pp 547-587
doi:10.1017/S095679680300488X