CJO - Abstract - Recursive subtyping revealed

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2002), 12 : 511-548 Cambridge University Press
Copyright © 2002 Cambridge University Press
doi:10.1017/S0956796802004318 (About doi)
Published online by Cambridge University Press 06 Nov 2002
back to top
Cambridge University Press