Now showing items 1-1 of 1

    • Proof-relevant Horn clauses for dependent type inference and term synthesis 

      Farka, František; Komendantskya, Ekaterina; Hammond, Kevin (2018) - Journal article
      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 new trend in functional languages. In this ...