CJO - Abstract - Practical type inference for arbitrary-rank types

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2007), 17 : 1-82 Cambridge University Press
doi:10.1017/S0956796806006034 (About doi)
Published online by Cambridge University Press 09 Jun 2006
back to top
Cambridge University Press