7 citations · 17 across the 3 of their papers we have counts for
3 papers
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…
cs.FL2010★ 7 cited
Regular Expressions, au point
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
We introduce a new technique for constructing a finite state deterministic automaton from a regular expression, based on the idea of marking a suitable set of positions inside the…