Type Processing by Constraint Reasoning
From MaRDI portal
Publication:5385584
DOI10.1007/11924661_1zbMath1168.68366OpenAlexW1587446521MaRDI QIDQ5385584
Jeremy Wazny, Peter J. Stuckey, Martin Sulzmann
Publication date: 6 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11924661_1
Functional programming and lambda calculus (68N18) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
