124 citations
- Indian Institute of Technology KharagpurIN5 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Google (United States)US2 papers
- Microsoft Research (United Kingdom)GB2 papers
- Microsoft (United States)US2 papers
- The Ohio State UniversityUS2 papers
- University of BolognaIT2 papers
- Carnegie Mellon UniversityUS1 paper
- Centre de Recherche en InformatiqueFR1 paper
- Etsy (United States)US1 paper
- Georgia Institute of TechnologyUS1 paper
- Hebrew University of JerusalemIL1 paper
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 7 cited
Nonuniform Coercions via Unification Hints
Claudio Sacerdoti Coen, Enrico Tassi
We introduce the notion of nonuniform coercion, which is the promotion of a value of one type to an enriched value of a different type via a nonuniform procedure. Nonuniform coerci…
cs.LO2011★ 3 cited
Superposition as a logical glue
Andrea Asperti, Enrico Tassi
The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions…