7 citations · 17 across the 3 of their papers we have counts for
Showing cs.LOShow 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…