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.LO2010★ 3 cited
General Recursion and Formal Topology
Claudio Sacerdoti Coen, Silvio Valentini
It is well known that general recursion cannot be expressed within Martin-Loef's type theory and various approaches have been proposed to overcome this problem still maintaining th…
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…