18 citations · 62 across the 18 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
Coinductive Soundness of Corecursive Type Class Resolution
František Farka, Ekaterina Komendantskaya, Kevin Hammond
Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed,…
cs.LO2016
Operational Semantics of Resolution and Productivity in Horn Clause Logic
Peng Fu, Ekaterina Komendantskaya
This paper presents a study of operational and type-theoretic properties of different resolution strategies in Horn clause logic. We distinguish four different kinds of resolution:…