M.-V. Aponte, R. Di Cosmo, and C. Dubois. Signature subtyping modulo type isomorphisms. Available at http: //www.dicosmo.org/ARTICLES/ADCD97.ps.gz, Feb. 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Subtyping Recursive Types modulo Associative Commutative.. - Di Cosmo, Pottier, Remy (2003) Self-citation (Di cosmo) (Correct)
.... ) t t ) t 3: t t ) t = t (t t 4: t (t ) t t ) t t 5: t 1 = t 6: t 1 = 1 7: 1 t = t The type isomorphisms based approach can help in retrieving complex software components from large libraries of functions [15, 24, 25] or modules [29, 3, 4] and in automatically producing bridge code between different representations of a (possibly recursive) data type in systems like Mockingbird [6, 7] or PolySpin [21] These active areas are currently attracting the attention of many researchers. Unfortunately, the general problem of characterizing ....
M.-V. Aponte, R. Di Cosmo, and C. Dubois. Signature subtyping modulo type isomorphisms. Available at http: //www.dicosmo.org/ARTICLES/ADCD97.ps.gz, Feb. 1998.
Subtyping Recursive Types modulo Associative Commutative.. - Di Cosmo, Pottier, Remy (2003) Self-citation (Di cosmo) (Correct)
.... ) 3: 4: 5: 1 = 6: 1 = 1 7: 1 = The type isomorphisms based approach can help in retrieving complex software components from large libraries of functions [15, 24, 25] or modules [28, 3, 4] and in automatically producing bridge code between different representations of a (possibly recursive) data type in systems like Mockingbird [6, 7] or PolySpin [21] These active areas are currently attracting the attention of many researchers. Unfortunately, the general problem of ....
....to very complex conversion functions. As a result, it is quite unrealistic to expect that a user could be satisfied with a mere true or false answer. A practical search system must be able to generate code for converting between the search result and the search query, as advocated for example in [4]. The subtyping algorithm given in this paper does not merely answer true or false, but produces coercion code when it succeeds. A nave generalization of the ideas found in [22, 20] to the setting of AC subtyping as opposed to AC equality leads to a decision procedure whose worst case time ....
M.-V. Aponte, R. Di Cosmo, and C. Dubois. Signature subtyping modulo type isomorphisms. Available at http://www.dicosmo.org/ARTICLES/ADCD97. ps.gz, Feb. 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC