Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
František Farka, Ekaterina Komendantskya, Kevin Hammond
First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a…
cs.LO2016
CoALP-Ty'16
Ekaterina Komendantskaya, František Farka
This volume constitutes the pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty'16), held on 28--29 November 2016 in Edinburgh as a mark…