Nonuniform coercions via unification hints

zbMATH Open1457.68299arXiv1103.3320MaRDI QIDQ4964708FDOQ4964708

Authors: Claudio Sacerdoti Coen, Enrico Tassi 

Publication date: 3 March 2021

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

Recommendations

• A computational view of implicit coercions in type theory
• Hints in Unification
• scientific article; zbMATH DE number 1497808
• scientific article; zbMATH DE number 1086673
• Implicit coercions in type systems

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (4)

• Hints in Unification
• Theory presentation combinators
• Title not available (Why is that?)
• Implementing type theory in higher order constraint logic programming

This page was built for publication: Nonuniform coercions via unification hints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964708)