HM(X) type inference is CLP(X) solving Journal Articles Refereed uri icon

Overview

Published in

  • Journal of Functional Programming

Time

Date/time value

  • 2008

Identity

Digital Object Identifier (DOI)

  • 10.1017/S0956796807006569

Additional Document Info

Parent Title

  • JOURNAL OF FUNCTIONAL PROGRAMMING

Volume

  • 18

Issue

  • 2

Publisher

  • Cambridge University Press