Coinductive soundness of corecursive type class resolution

DOI10.1007/978-3-319-63139-4_18zbMath1485.68041arXiv1608.05233OpenAlexW2517303054MaRDI QIDQ2409746

Kevin Hammond, Ekaterina Komendantskaya, František Farka

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.05233

zbMATH Keywords

Herbrand modelsHorn clausesHaskellresolutioncoinductiontype classes

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Logic programming (68N17)

Related Items (2)

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis ⋮ Logic programming: laxness and saturation

This page was built for publication: Coinductive soundness of corecursive type class resolution