CJO - Abstract - Two-level types and parameterized modules

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2004), 14 : 547-587 Cambridge University Press
Copyright © 2004 Cambridge University Press
doi:10.1017/S095679680300488X (About doi)
Published online by Cambridge University Press 06 Aug 2004
back to top
Cambridge University Press