Journal article

HM(X) type inference is CLP(X) solving

Martin Sulzmann, Peter J Stuckey

Journal of Functional Programming | CAMBRIDGE UNIV PRESS | Published : 2008

DOI: 10.1017/S0956796807006569

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

8Web of Science

Keywords

Computer Science, Software Engineering

Computer Science

Science & Technology

Constrained Types