31 citations · 68 across the 12 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 7 cited
A Foundational View on Integration Problems
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen
The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the…
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…