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

Science & Technology

Computer Science

Computer Software