<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

dicosmo_clean.bib

dicosmo_clean.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -c 'author : "Cosmo"' /home/dicosmo/TeX/Bibliography/dicosmo.bib -oc /dev/null -ob ./dicosmo_clean.bib}}

@article{BruceDicosmoLongo92,
  author = {Kim Bruce and Di Cosmo, Roberto and Giuseppe Longo},
  title = {Provable isomorphisms of types},
  journal = {Mathematical Structures in Computer Science},
  year = {1992},
  volume = {2},
  number = {2},
  pages = {231--247},
  mynote = {Proc. of Symposium on Symbolic Computation, ETH, Zurich, March 1990},
  url = {http://www.dicosmo.org/Articles/MSCS.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/MSCS.dvi}},
  doi = {http://dx.doi.org/10.1017/S0960129500001444},
  urllocal = {http://www.dicosmo.org/Articles/MSCS.pdf},
  dmi-category = {journal},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {BruceDicosmoLongo90},
  dmi-equipe = {eq-lambda},
  x-topic = {typeisos},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#BruceDicosmoLongo90.abstract}
}

@unpublished{DanosDicosmo92,
  author = {Vincent Danos and Di Cosmo, Roberto},
  title = {Introduction to Linear Logic},
  note = {Course Notes, very preliminary version of \cite{LLPrimer97}},
  month = jun,
  url = {http://www.dicosmo.org/CorsoPisa.dvi},
  urllocal = {http://www.dicosmo.org/CorsoPisa.dvi},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/CorsoPisa.dvi}},
  year = {1992},
  dmi-category = {coursenotes},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {linlog},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#CorsoPisa.abstract}
}

@book{LLPrimer97,
  author = {Vincent Danos and Di Cosmo, Roberto},
  title = {The Linear Logic Primer},
  publisher = {},
  year = {1997},
  dmi-category = {subm},
  volume = {},
  number = {},
  series = {},
  address = {},
  edition = {},
  month = {},
  note = {In preparation: preliminary version available from \verb|http://www.dicosmo.org|},
  dmi-time = {},
  dmi-status = {},
  dmi-wais = {},
  dmi-equipe = {},
  x-topic = {linlog},
  dmi-outdates = {}
}

@unpublished{XML,
  author = {Di Cosmo, Roberto},
  title = {An extensional operational and axiomatic semantics for type-inference with recursion and algebraic data types},
  month = oct,
  year = {1995},
  urllocal = {http://www.dicosmo.org/Articles/MLX.pdf},
  dmi-category = {misc},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MLX.abstract}
}

@incollection{DicosmoLongo91,
  author = {Di Cosmo, Roberto and Giuseppe Longo},
  editor = {Moschovakis},
  title = {Constuctively Equivalent Propositions and Isomorphisms of Objects (or Terms as Natural Transformations)},
  booktitle = {Logic from Computer Science},
  pages = {73-94},
  volume = 21,
  series = {Mathematical Sciences Research Institute Publications},
  year = 1991,
  publisher = {Springer Verlag},
  address = {Berkeley},
  mynote = {Proceedings of a workshop held November 13-17, 1989.},
  doi = {http://dx.doi.org/10.1007/978-1-4612-2822-6_4},
  dmi-category = {invite},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {typeisos},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Berkeley90.abstract}
}

@article{DicosmoJFP92,
  author = {Di Cosmo, Roberto},
  title = {Deciding Type isomorphisms in a type assignment framework},
  journal = {Journal of Functional Programming},
  year = 1993,
  volume = 3,
  number = 3,
  pages = {485--525},
  note = {Special Issue on ML},
  dmi-category = {journal},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {typeisos},
  doi = {http://dx.doi.org/10.1017/S0956796800000861},
  urllocal = {http://www.dicosmo.org/Articles/JFP93.pdf},
  url = {http://www.dicosmo.org/Articles/JFP93.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/JFP93.pdf}},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#JFP93.abstract}
}

@article{Dicosmo93,
  author = {Di Cosmo, Roberto},
  title = {Second order Isomorphic Types.
     {A} proof theoretic study on second order $\lambda$-calculus
     with surjective pairing and terminal object},
  journal = {Information and Computation},
  pages = {176--201},
  month = jun,
  year = 1995,
  doi = {http://dx.doi.org/10.1006/inco.1995.1085},
  urllocal = {http://www.dicosmo.org/Articles/SecondOrderIsos.pdf},
  dmi-category = {journal},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {Dicosmo90},
  dmi-equipe = {eq-lambda},
  x-topic = {typeisos},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#SecondOrderNEW.abstract}
}

@inproceedings{CurienDicosmo90,
  author = {Pierre-Louis Curien and Di Cosmo, Roberto},
  title = {A confluent reduction system for the $\lambda$-calculus with surjective pairing and terminal object},
  booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)},
  year = 1991,
  month = jul,
  editor = {Leach and Monien and Artalejo},
  pages = {291--302},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 510,
  doi = {http://dx.doi.org/10.1007/3-540-54233-7_142},
  dmi-category = {intconf},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Icalp91.abstract}
}

@article{CurienDicosmoJFP95,
  author = {Pierre-Louis Curien and Di Cosmo, Roberto},
  title = {A confluent reduction system for the $\lambda$-calculus with surjective pairing and terminal object},
  journal = {Journal of Functional Programming},
  pages = {299--327},
  volume = 6,
  number = 2,
  year = 1996,
  note = {This is an extended and revised version of \cite{CurienDicosmo90}.},
  dmi-category = {journal},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  doi = {http://dx.doi.org/10.1017/S0956796800001696},
  urllocal = {http://www.dicosmo.org/Articles/JFP96.pdf},
  x-topic = {rewriting},
  dmi-equipe = {eq-lambda},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#JFP95.abstract}
}

@inproceedings{DicosmoPiperno95,
  author = {Di Cosmo, Roberto and Adolfo Piperno},
  editor = {Mariangiola Dezani-Ciancaglini and Gordon Plotkin},
  title = {Expanding Extensional Polymorphism},
  booktitle = {Typed Lambda Calculus and Applications},
  pages = {139--153},
  year = 1995,
  month = apr,
  series = {Lecture Notes in Computer Science},
  volume = 902,
  doi = {http://dx.doi.org/10.1007/BFb0014050},
  urllocal = {http://www.dicosmo.org/Articles/TLCA95.pdf},
  ps = {http://www.dicosmo.org/Articles/TLCA95.ps},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/TLCA95.pdf}},
  dmi-category = {intconf},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TLCA95.abstract}
}

@inproceedings{DicosmoPOPL92,
  author = {Di Cosmo, Roberto},
  title = {Type isomorphisms in a type assignment framework},
  booktitle = {19th Ann. ACM Symp. on Principles of Programming Languages (POPL)},
  publisher = {ACM},
  year = 1992,
  pages = {200-210},
  dmi-category = {intconf},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {typeisos},
  doi = {http://dx.doi.org/10.1145/143165.143208},
  urllocal = {http://www.dicosmo.org/Articles/POPL92.pdf},
  url = {http://www.dicosmo.org/Articles/POPL92.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/POPL92.pdf}},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#POPL92.abstract}
}

@techreport{BruceDicosmoLongo90,
  author = {Kim Bruce and Di Cosmo, Roberto and Giuseppe Longo},
  title = {Provable isomorphisms of types},
  institution = {LIENS - Ecole Normale Sup\'erieure},
  number = {90-14},
  year = 1990,
  dmi-category = {rapliens},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  urllocal = {http://www.dicosmo.org/Articles/1990-BruceDicosmoLongo.pdf},
  x-topic = {typeisos},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#BruceDicosmoLongo90.abstract}
}

@techreport{CurienDicosmo91b,
  author = {Pierre-Louis Curien and Di Cosmo, Roberto},
  title = {A confluent reduction system for the $\lambda$-calculus with surjective pairing and terminal object},
  institution = {LIENS - Ecole Normale Sup\'erieure},
  number = {91-11},
  year = 1991,
  dmi-category = {rapliens},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  urllocal = {http://www.dicosmo.org/TR/LIENS-91-11.pdf},
  url = {http://www.dicosmo.org/TR/LIENS-91-11.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/TR/LIENS-91-11.pdf}},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TR-11-91.abstract}
}

@techreport{Dicosmo90,
  author = {Di Cosmo, Roberto},
  title = {Invertibility of terms and valid isomorphisms.
     A proof theoretic study on second order $\lambda$-calculus
     with surjective pairing and terminal object},
  institution = {LIENS - Ecole Normale Sup\'erieure},
  number = {91-10},
  year = 1991,
  dmi-category = {rapliens},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  urllocal = {http://www.dicosmo.org/TR/LIENS-93-11.pdf},
  url = {http://www.dicosmo.org/TR/LIENS-93-11.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/TR/LIENS-93-11.pdf}},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TR-10-91.abstract}
}

@inproceedings{DCK92,
  author = {Di Cosmo, Roberto and Delia Kesner},
  title = {A confluent reduction for the  extensional
      typed $\lambda$-calculus with pairs, sums,
      recursion and terminal object},
  booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)},
  year = 1993,
  month = jul,
  editor = {Andrzej Lingas},
  publisher = {Springer-Verlag},
  pages = {645--656},
  volume = 700,
  series = {Lecture Notes in Computer Science},
  urllocal = {http://www.dicosmo.org/Articles/1993-DiCosmoKesner-Icalp.pdf},
  dmi-category = {intconf},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  x-topic = {rewriting},
  dmi-equipe = {eq-lambda},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Icalp93.abstract}
}

@techreport{DCKinria93,
  author = {Di Cosmo, Roberto and Delia Kesner},
  title = {Simulating Expansions without Expansions},
  institution = {LIENS-DMI and INRIA},
  number = {LIENS-93-11/INRIA 1911},
  year = {1993},
  dmi-category = {rapliens},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MSCS93.abstract}
}

@article{DCKmscs93,
  author = {Di Cosmo, Roberto and Delia Kesner},
  title = {Simulating Expansions without Expansions},
  year = {1994},
  volume = 4,
  pages = {1--48},
  journal = {Mathematical Structures in Computer Science},
  mynote = {A preliminary version is available as Technical Report
LIENS-93-11/INRIA 1911 },
  urllocal = {http://www.dicosmo.org/Articles/1993-DiCosmoKesner-MSCS.pdf},
  dmi-category = {journal},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {DCKinria93},
  dmi-equipe = {eq-lambda},
  x-topic = {rewriting},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MSCS93.abstract}
}

@phdthesis{DiCosmoTh93,
  author = {Di Cosmo, Roberto},
  title = {Isomorphisms of Types},
  school = {Dipartimento di Informatica, Universit\'a di Pisa},
  year = {1993},
  address = {40, Corso Italia - 56100 Pisa - Italy},
  type = {Tesi di Dottorato},
  month = jan,
  x-topic = {typeisos},
  dmi-category = {these},
  dmi-equipe = {eq-lambda}
}

@phdthesis{DiCosmoTh98,
  author = {Di Cosmo, Roberto},
  title = {R\'e\'ecriture avec axiomes extensionnels et isomorphismes de types},
  school = {Universit\'e de Paris VII},
  year = {1998},
  address = {2, place Jussieu - 75005 Paris},
  type = {Habilitation `a diriger des recherches},
  month = apr,
  dmi-category = {these},
  x-topic = {typeisos},
  dmi-equipe = {eq-lambda}
}

@inproceedings{DCK94a,
  author = {Di Cosmo, Roberto and Delia Kesner},
  editor = {Serge Abiteboul and Eli Shamir},
  title = {Combining first order algebraic rewriting systems,
                 recursion and  extensional lambda calculi},
  booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)},
  year = 1994,
  month = jul,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 820,
  pages = {462--472},
  x-topic = {rewriting},
  dmi-category = {intconf},
  dmi-wais = {YES},
  dmi-equipe = {eq-lambda},
  doi = {http://dx.doi.org/10.1007/3-540-58201-0_90},
  urllocal = {http://www.dicosmo.org/Articles/1994-DiCosmoKesner-Icalp.pdf},
  url = {http://www.dicosmo.org/Articles/1994-DiCosmoKesner-Icalp.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/1994-DiCosmoKesner-Icalp.pdf}},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#Icalp94.abstract}
}

@article{TCS95,
  author = {Di Cosmo, Roberto and Delia Kesner},
  title = {Combining algebraic rewriting, extensional lambda calculi and fixpoints},
  journal = {Theoretical Computer Science},
  volume = {169},
  number = {2},
  pages = {201-220},
  year = 1996,
  x-topic = {rewriting},
  doi = {http://dx.doi.org/10.1016/S0304-3975(96)00121-1},
  urllocal = {http://www.dicosmo.org/Articles/1996-DiCosmoKesner-TCS.pdf},
  dmi-category = {journal},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#TCS95.abstract}
}

@book{ISOSBook,
  author = {Di Cosmo, Roberto},
  title = {Isomorphisms of types: from $\lambda$-calculus to  information retrieval
      and language design},
  publisher = {Birkhauser},
  year = {1995},
  x-topic = {typeisos},
  dmi-category = {livre},
  url = {http://www.ens.fr/users/dicosmo/Publications/ISObook.html},
  html = {http://www.ens.fr/users/dicosmo/Publications/ISObook.html},
  htmlurl = {\htmladdnormallink{Contents and Overview}{http://www.ens.fr/users/dicosmo/Publications/ISObook.html}},
  note = {ISBN-0-8176-3763-X},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#ISOSBook}
}

@inproceedings{DCK95a,
  author = {Di Cosmo, Roberto and Delia Kesner},
  title = {Rewriting with polymorphic extensional $\lambda$-calculus},
  booktitle = {CSL'95},
  year = 1996,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 1092,
  pages = {215--232},
  x-topic = {rewriting},
  dmi-category = {intc},
  note = {Extended abstract presented in Paderborn, } # sep # { 1995},
  doi = {http://dx.doi.org/10.1007/3-540-61377-3_40},
  urllocal = {http://www.dicosmo.org/Articles/1995-DiCosmoKesner-CSL.pdf},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/1995-DiCosmoKesner-CSL.pdf}},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#CSL95.abstract}
}

@inproceedings{DCA95,
  author = {Maria-Virginia Aponte and Di Cosmo, Roberto},
  title = {Type isomorphisms for module signatures},
  dmi-category = {intc},
  year = {1996},
  booktitle = {Programming Languages Implementation and Logic Programming (PLILP)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 1140,
  pages = {334--346},
  doi = {http://dx.doi.org/10.1007/3-540-61756-6_95},
  urllocal = {http://www.dicosmo.org/Articles/1996-AponteDiCosmo-PLILP.pdf},
  x-topic = {typeisos},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#MLModulesIsos.abstract}
}

@unpublished{ADD97,
  author = {Maria-Virginia Aponte and Di Cosmo, Roberto and Catherine Dubois},
  title = {Signature subtyping modulo type isomorphisms},
  note = {submitted},
  dmi-category = {subm},
  year = {1997},
  x-topic = {typeisos},
  ps = {http://www.dicosmo.org/Articles/ADCD97.ps.gz}
}

@techreport{DCH93,
  author = {Hassan A{\"{\i}}t-Kaci and Di Cosmo, Roberto},
  title = {Compiling Order-Sorted Feature Term Unification},
  institution = {Digital Equipment Corporation},
  year = {1993},
  type = {TN},
  number = {7},
  x-topic = {prolog},
  dmi-category = {rapp},
  month = dec,
  abstract = {Order-sorted  feature  (OSF)   terms generalize
        first-order rational  terms: functors become  partially ordered
        sorts,  arity is unconstrained,   and subterms  are  unordered,
        indicated by explicit    feature symbols rather than   implicit
        positions.  Thus, OSF terms  provide a  handy data structure to
        represent  objects in  symbolic programming  languages. LIFE is
        such an experimental language extending Prolog by replacing its
        term data structure and unification operation with OSF term and
        unification. In this  paper,   we present an  abstract  machine
        design for OSF term unification. This compiling scheme consists
        of an alteration  of recent refinements  of  WAM technology for
        compiling Prolog's unification.  Our modifications account  for
        order-sortedness,   symbolic    features,    and     absence of
        arity. Then, we   improve that design by incorporating  several
        immediate optimizations.},
  htmlurl = {\htmladdnormallink{pdf}{http://www.dicosmo.org/Articles/1993-AitKaciDiCosmo.pdf}},
  urllocal = {http://www.dicosmo.org/Articles/1993-AitKaciDiCosmo.pdf}
}

@inproceedings{POD96,
  author = {Di Cosmo, Roberto},
  title = {On the power of simple diagrams},
  booktitle = {Rewriting Techniques and Applications},
  year = 1996,
  month = jul,
  series = {Lecture Notes in Computer Science},
  number = 1103,
  pages = {200--214},
  x-topic = {rewriting},
  url = {http://www.dicosmo.org/Articles/POD.pdf},
  urllocal = {http://www.dicosmo.org/Articles/POD.pdf},
  doi = {http://dx.doi.org/10.1007/3-540-61464-8_53},
  htmlurl = {\htmladdnormallink{dvi}{http://www.dicosmo.org/Articles/POD.pdf}},
  dmi-category = {intconf},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  abstract-url = {http://www.dicosmo.org/Publications/Abstracts.html#POD96.abstract}
}

@inproceedings{CocAlg,
  author = {Di Cosmo, Roberto and Neil Ghani},
  editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti-Spaccamela},
  title = {Combining algebraic rewriting with higher order extensional lambda calculi},
  booktitle = {Intern. Conf. on Automata, Languages and Programming (ICALP)24},
  year = {1997},
  pages = {237--247},
  series = {Lecture Notes in Computer Science},
  number = 1256,
  x-topic = {rewriting},
  urllocal = {http://www.dicosmo.org/Articles/1997-DiCosmoGhani-Icalp.pdf},
  doi = {http://dx.doi.org/10.1016/S0304-3975(96)00121-1},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  dmi-category = {intconf}
}

@unpublished{CoursOO,
  author = {Di Cosmo, Roberto},
  title = {Une panoramique de conceptes et langages orient\'es objets},
  note = {Course Notes. {\tt http://www.dicosmo.org/CourseNotes/OO}},
  dmi-category = {coursenotes},
  year = {1996}
}

@unpublished{CoursCompil,
  author = {Di Cosmo, Roberto},
  title = {Compilation (pour la Ma^{\i}trise)},
  note = {Course Notes. {\tt http://www.dicosmo.org/CourseNotes/Compilation}},
  dmi-category = {coursenotes},
  year = {1999}
}

@unpublished{IF121,
  author = {Di Cosmo, Roberto},
  title = {Introduction `a l'Informatique pour le DEUG},
  note = {Course Notes. {\tt http://www.dicosmo.org/IF121}},
  dmi-category = {coursenotes},
  year = {2000}
}

@unpublished{SemDen,
  author = {Di Cosmo, Roberto},
  title = {S\'emantique D\'enotationnelle},
  note = {Course Notes. {\tt http://www.dicosmo.org/CourseNotes}},
  dmi-category = {coursenotes},
  year = {1996}
}

@unpublished{RDC96,
  author = {Di Cosmo, Roberto},
  title = {A brief history of rewriting with extensionality},
  dmi-category = {coursenotes},
  note = {Lecture notes. {\tt http://www.dicosmo.org/}},
  month = sep,
  year = {1996}
}

@inproceedings{DCKLics96,
  author = {Di Cosmo, Roberto and Delia Kesner},
  title = {Strong Normalization of Explicit Substitutions via Cut
                Elimination in Proof Nets (extended abstract)},
  dmi-category = {intconf},
  booktitle = {Proceedings, Twelfth Annual IEEE Symposium on Logic in
                 Computer Science (LICS)},
  mynote = {Full paper available as {\tt http://www.dicosmo.org/Articles/esll.ps.gz}},
  doi = {http://dx.doi.org/10.1109/LICS.1997.614927},
  htmlurl = {\htmladdnormallink{ps}{http://www.dicosmo.org/Articles/1997-DiCosmoKesner-Lics.pdf}},
  urllocal = {http://www.dicosmo.org/Articles/1997-DiCosmoKesner-Lics.pdf},
  pages = {35--46},
  month = {29 } # jun # {- 2} # jul,
  address = {Warsaw, Poland},
  organization = {IEEE Computer Society Press},
  year = {1997},
  x-topic = {linlog}
}

@inproceedings{RDC96ExpSurvey,
  author = {Di Cosmo, Roberto},
  title = {A brief history of rewriting with extensionality},
  booktitle = {International Summer School on Type Theory and Rewriting},
  year = {1996},
  x-topic = {rewriting},
  dmi-category = {arti},
  editor = {Fairouz Kamareddine},
  publisher = {Kluwer},
  address = {Glasgow},
  month = sep,
  note = {A set of slides on the subject is available as
                {\tt http://www.dicosmo.org/Slides/GLA96.ps.gz}}
}

@techreport{OcamlP3l,
  author = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
  title = {{\tt OcamlP3l}: a functional parallel programming system},
  institution = {LIENS - DMI, Ecole Normale Sup\'erieure},
  number = {98-01},
  year = 1998,
  x-topic = {parallel},
  dmi-category = {rapliens},
  dmi-wais = {YES},
  dmi-time = {},
  dmi-status = {},
  dmi-outdates = {},
  dmi-equipe = {eq-lambda},
  url = {http://www.di.ens.fr/ftp/pub/dmi/users/liens/liens-98-1.A4.ps.Z},
  htmlurl = {\htmladdnormallink{ps}{http://www.dicosmo.org/TR/LIENS-93-11.dvi.Z}},
  abstract-url = {http://www.di.ens.fr/EDITION/preprints/Index.liens.98.html}
}

@inproceedings{DDW97,
  author = {D. Delahaye and Di Cosmo, Roberto and B. Werner},
  title = {Recherche dans une biblioth`eque de
preuves {Coq} en utilisant le type et modulo isomorphismes},
  booktitle = {PRC/GDR de programmation, P^ole Preuves et Sp\'ecifications Alg\'ebriques},
  year = {1997},
  x-topic = {typeisos},
  month = {November},
  dmi-category = {autc}
}

@inproceedings{Prologames,
  author = {Di Cosmo, Roberto and Jean-Vincent Loddo and St\'ephane Nicolet},
  title = {A game semantics foundation for logic programming},
  booktitle = {PLILP'98},
  editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke},
  year = {1998},
  volume = {1490},
  pages = {355--373},
  series = {Lecture Notes in Computer Science},
  x-topic = {prolog},
  doi = {http://dx.doi.org/10.1007/BFb0056626},
  urllocal = {http://www.dicosmo.org/Articles/1998-DiCosmoLoddoNicolet.pdf},
  dmi-category = {intc},
  dmi-wais = {YES},
  dmi-equipe = {eq-lambda}
}

@article{PiegeCyberespace,
  author = {Di Cosmo, Roberto},
  title = {Pi`ege dans le {C}yberespace},
  journal = {Multim\'edium},
  year = {1998},
  dmi-category = {vulg},
  month = {17 } # mar,
  mynote = {Available from {\tt http://www.mmedium.com/dossiers/piege}},
  dmi-equipe = {eq-lambda},
  url = {http://www.mmedium.com/dossiers/piege/},
  htmlurl = {\htmladdnormallink{html}{http://www.mmedium.com/dossiers/piege/}}
}

@inproceedings{Ocamlp3lMlw98,
  author = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
  title = {Parallel Functional Programming with Skeletons: the {OCamlP3L} experiment},
  booktitle = {Proceedings  ACM workshop on ML and its applications},
  publisher = {Cornell University},
  year = {1998},
  address = {Baltimore},
  x-topic = {parallel},
  urllocal = {http://www.dicosmo.org/Articles/1998-DaneluttoDiCosmoLeroyPelagatti-MLW.pdf},
  dmi-category = {autc},
  abstract = {This paper reports on skeleton-based parallel programming in the context of
the Caml functional language.  An experimental implementation, based on
TCP sockets and marshaling of function closures, is described and
assessed.}
}

@book{HoldUp,
  author = {Di Cosmo, Roberto and Nora, Dominique},
  title = {Le Hold-Up plan\'etaire.},
  publisher = {Calmann-Levy},
  year = {1998},
  dmi-category = {livv},
  month = oct
}

@book{Manifesto,
  author = {Di Cosmo, Roberto},
  title = {Manifeste Pour Une Cr\'eation Artistique Libre Dans Un Internet Libre},
  publisher = {lulu.com},
  year = {2011},
  dmi-category = {livv},
  url = {http://www.amazon.fr/Manifeste-Cr%C3%A9ation-Artistique-Libre-Internet/dp/1445795671},
  isbn = {1445795671}
}

@inproceedings{DCG99,
  author = {Di Cosmo, Roberto and Stefano Guerrini},
  title = {Strong Normalization of Proof Nets modulo Structural Congruences},
  booktitle = {Rewriting Techniques and Applications},
  year = {1999},
  doi = {http://dx.doi.org/10.1007/3-540-48685-2_6},
  urllocal = {http://www.dicosmo.org/Articles/1999-DiCosmoGuerrini-RTA.pdf},
  x-topic = {rewriting},
  dmi-category = {intc},
  dmi-equipe = {eq-lambda}
}

@inproceedings{DCB99,
  author = {Vincent Balat and Di Cosmo, Roberto},
  title = {A linear logical view of linear type isomorphisms},
  booktitle = {Computer Science Logic},
  year = {1999},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 1683,
  x-topic = {linlog},
  dmi-category = {intc},
  urllocal = {http://www.dicosmo.org/Articles/1999-BalatDiCosmo-CSL.pdf},
  doi = {http://dx.doi.org/10.1007/3-540-48168-0_18},
  editors = {J\"org Flum and Mario Rodr\'{\i}guez-Artalejo},
  isbn = {3-540-66536-6},
  pages = {250--265}
}

@inproceedings{DCKP00,
  author = {Di Cosmo, Roberto and Delia Kesner and Emmanuel Polonovski},
  title = {Proof Nets and Explicit Substitutions},
  booktitle = {Foundation of Software Science and Computation Structure},
  year = {2000},
  doi = {http://dx.doi.org/10.1007/3-540-46432-8_5},
  urllocal = {http://www.dicosmo.org/Articles/2000-DiCosmoKesnerPolonovski-Fossacs.pdf},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 1784,
  x-topic = {linlog},
  dmi-category = {intc},
  pages = {63--81}
}

@article{DCKP03,
  author = {Di Cosmo, Roberto and Delia Kesner and Emmanuel Polonovski},
  title = {Proof Nets and Explicit Substitutions},
  journal = {Mathematical Structures in Computer Science},
  year = {2003},
  x-topic = {linlog},
  doi = {http://dx.doi.org/10.1017/S0960129502003791},
  urllocal = {http://www.dicosmo.org/Articles/2003-DiCosmoKesnerPolonovski-Mscs.pdf},
  dmi-category = {journal},
  month = jun,
  pages = {409--450},
  volume = 13,
  number = 3
}

@inproceedings{DCD05,
  author = {Di Cosmo, Roberto and Thomas Dufour},
  title = {The equational theory of  $<N,0,1,+,\cdot,\uparrow>$ is decidable, but not finitely axiomatisable},
  booktitle = {LPAR'05},
  year = {2005},
  series = {Lecture Notes in Computer Science},
  doi = {http://dx.doi.org/10.1007/978-3-540-32275-7_17},
  urllocal = {http://www.dicosmo.org/Articles/zeroisnfa.pdf},
  x-topic = {numbertheory},
  dmi-category = {intc},
  pages = {240--256}
}

@inproceedings{DCL00,
  author = {Di Cosmo, Roberto and Jean-Vincent Loddo},
  title = {Playing logic programs with the Alpha-Beta algorithm},
  booktitle = {LPAR'00},
  editor = {Michel Parigot and Adrei Voronkov},
  year = {2000},
  volume = {1955},
  pages = {207--224},
  series = {Lecture Notes in Computer Science},
  x-topic = {prolog},
  doi = {http://dx.doi.org/10.1007/3-540-44404-1_14},
  urllocal = {http://www.dicosmo.org/Articles/2000-DiCosmoLoddo-Lpar.pdf},
  dmi-category = {intc}
}

@inproceedings{BDCFLics2002,
  author = {Vincent Balat and Di Cosmo, Roberto and Marcelo Fiore},
  title = {Remarks on Isomorphisms in
          Typed Lambda Calculi with Empty and Sum Type },
  booktitle = {LICS},
  year = {2002},
  x-topic = {typeisos},
  dmi-category = {intc},
  publisher = {IEEE},
  month = jul,
  doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029824},
  urllocal = {http://www.dicosmo.org/Articles/2002-BalatDiCosmoFiore-Lics.pdf}
}

@inproceedings{BDCF03,
  author = {Vincent Balat and Di Cosmo, Roberto and Marcelo Fiore},
  title = {Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lamda Calculus with Sums},
  year = {2004},
  x-topic = {rewriting},
  doi = {http://dx.doi.org/10.1145/982962.964007},
  urllocal = {http://www.dicosmo.org/Articles/2004-BalatDiCosmoFiore-Popl.pdf},
  dmi-category = {intc},
  booktitle = {31st Ann. ACM Symp. on Principles of Programming Languages (POPL)},
  publisher = {ACM},
  pages = {64--76},
  dmi-time = {},
  dmi-status = {}
}

@article{MSCSSurvey05,
  title = {A short survey of Isomorphisms of Types},
  year = {2005},
  dmi-category = {jour},
  author = {Di Cosmo, Roberto},
  x-topic = {typeisos},
  doi = {http://dx.doi.org/10.1017/S0960129505004871},
  urllocal = {http://www.dicosmo.org/Articles/mscs-survey.pdf},
  journal = {Mathematical Structures in Computer Science},
  volume = 15,
  pages = {825--838}
}

@article{DCP03,
  author = {Di Cosmo, Roberto and Susanna Pelagatti},
  title = {A calculus for dense array distributions},
  journal = {Second International Workshop on High-Level Parallel Programming and Applications},
  year = {2003},
  x-topic = {parallel},
  dmi-category = {autc},
  dmi-status = {}
}

@techreport{Estime03,
  author = {Cl\'ement, Fran\c{c}ois and Vodicka, Arnaud and Di Cosmo, Roberto and Weis, Pierre},
  title = {Couplage de codes num\'eriques, parall\'elisme et langages de haut niveau},
  institution = {INRIA},
  year = {2003},
  x-topic = {parallel},
  dmi-category = {rapp},
  type = {RR},
  number = {4825},
  note = {\url{http://www.inria.fr/rrrt/rr-4825.html}}
}

@article{DCPR03,
  author = {Di Cosmo, Roberto and Fran\c{c}ois Pottier and Didier R\'emy},
  title = {Subtyping Recursive Types modulo Associative Commutative Products},
  x-topic = {typeisos},
  journal = {Typed Lambda Calculus and Applications},
  year = {2005},
  doi = {http://dx.doi.org/10.1007/11417170_14},
  urllocal = {http://www.dicosmo.org/Articles/2005-DiCosmoPottierRemy-Tlca.pdf},
  dmi-category = {intc}
}

@article{Upgrade2003,
  author = {Di Cosmo,Roberto},
  title = {Legal Tools to Protect Software: Choosing the Right One},
  journal = {Upgrade},
  year = {2003},
  volume = {4},
  number = {3},
  pages = {21--23},
  month = jun,
  urllocal = {http://www.dicosmo.org/Articles/up4-3DiCosmo.pdf},
  note = {Available as \url{http://www.upgrade-cepis.org/issues/2003/3/up4-3DiCosmo.pdf}},
  dmi-category = {autc}
}

@article{Upgrade2006,
  author = {Di Cosmo,Roberto},
  title = {Scientific Publications: The Role of Public Administrations in The {ICT} Era},
  journal = {Upgrade},
  year = {2006},
  volume = 7,
  number = 3,
  pages = {41--47},
  month = jun,
  note = {Available as \url{http://www.cepis.org/upgrade/files/full-III-06.pdf}, and also in French at \url{http://www.dicosmo.org/MyOpinions}},
  dmi-category = {autc}
}

@article{Specif2004,
  author = {Di Cosmo,Roberto},
  title = {E-duquons l'e-citoyen!},
  journal = {Bulletin de Specif},
  year = {2004},
  month = dec,
  urllocal = {http://www.dicosmo.org/Articles/mscs-survey.pdf},
  note = {Available as \url{http://www.dicosmo.org/Articles/Specif-3-3.pdf}},
  dmi-category = {autc}
}

@article{DCP2003,
  author = {Di Cosmo, Roberto and Susanna Pelagatti},
  title = {A calculus for dense array distributions},
  journal = {Parallel Processing Letters},
  year = {2003},
  x-topic = {parallel},
  doi = {http://dx.doi.org/10.1142/S0129626403001355},
  urllocal = {http://www.dicosmo.org/Articles/2003-DiCosmoPelagatti-Ppl.pdf},
  dmi-category = {jour},
  dmi-status = {},
  volume = {13},
  number = {3},
  pages = {377--388}
}

@article{DCLP2005,
  author = {Di Cosmo, Roberto and Zheng Li and Susanna Pelagatti},
  title = {A Calculus for Parallel Computations over Multidimensional Dense Arrays},
  journal = {Computer Languages, Systems and Structures},
  year = {2007},
  x-topic = {parallel},
  doi = {http://dx.doi.org/10.1016/j.cl.2006.07.005},
  urllocal = {http://www.dicosmo.org/Articles/2007-DiCosmoPelagattiZheng-Clls.pdf},
  dmi-category = {jour},
  volume = {33},
  number = {3-4},
  pages = {82--110},
  url = {http://hal.archives-ouvertes.fr/hal-00154354/en/},
  notes = {Special issue on Cost Models for High-Level Parallel Languages}
}

@article{HLPP2005,
  author = {Di Cosmo, Roberto and Zheng Li and Susanna Pelagatti and Pierre Weis},
  title = {Skeletal Parallel Programming with OcamlP3L 2.0},
  journal = {Third International Workshop on High-level Parallel Programming and Applications},
  year = {2005},
  x-topic = {parallel},
  dmi-category = {autc},
  month = {4-5} # jul,
  notes = {Warwick University, Coventry, United Kingdom}
}

@article{PPL2008,
  author = {Di Cosmo, Roberto and Zheng Li and Susanna Pelagatti and Pierre Weis},
  title = {Skeletal Parallel Programming with OcamlP3L 2.0},
  journal = {Parallel Processing Letters},
  year = {2008},
  x-topic = {parallel},
  doi = {http://dx.doi.org/10.1142/S0129626408003284},
  urllocal = {http://www.dicosmo.org/Articles/2008-DiCosmoPelagattiWeisZheng-Ppl.pdf},
  dmi-category = {jour},
  month = mar,
  volume = 18,
  number = 1,
  pages = {149-164},
  ee = {http://dx.doi.org/10.1142/S0129626408003284},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  notes = {Extended version of ~\cite{HLPP2005}}
}

@article{sna2003,
  author = {F. Cl\'ement and V. Martin and A. Vodicka and Di Cosmo, R. and P. Weis},
  title = {Domain decomposition for flow simulation around a waste disposal site:  direct computation versus code coupling using OCamlP3l},
  journal = {International Conference on Supercomputing in Nuclear Applications (SNA'2003)},
  x-topic = {parallel},
  year = {2003},
  dmi-category = {intc},
  month = sep
}

@article{p3ljfp2004,
  author = {F. Cl\'ement and A. Li and V. Martin and A. Vodicka and Di Cosmo, R. and P. Weis},
  title = {Parallel programming with the OcamlP3l system, with applications to coupling numerical codes},
  journal = {Journal of Functional Programming},
  year = {2003},
  x-topic = {parallel},
  urllocal = {http://www.dicosmo.org/Articles/2004-ClementDiCosmoMartinVodickaWeisZheng.pdf},
  dmi-category = {subm},
  month = sep,
  note = {Submitted}
}

@mastersthesis{DC86,
  author = { Di Cosmo, Roberto},
  title = {Isomorfismi di Tipi},
  school = {Universit`a di Pisa},
  x-topic = {typeisos},
  dmi-category = {these},
  year = {1986}
}

@inproceedings{EDOS-FRCSS06,
  title = {Maintaining large software distributions:
                         new challenges from the {FOSS} era},
  author = {Roberto {Di Cosmo} and Berke Durak and Xavier Leroy
                         and Fabio Mancinelli and J{\'e}r{^o}me Vouillon},
  booktitle = {Proceedings of the FRCSS 2006 workshop},
  year = 2006,
  x-topic = {softeng},
  dmi-category = {autc},
  note = {EASST Newsletter},
  abstract = {In the mainstream adoption of free and open source software (FOSS),
distribution editors play a crucial role: they package, integrate and
distribute a wide variety of software, written in a variety of
languages, for a variety of purposes of unprecedented breadth.
Ensuring the quality of a FOSS distribution is a technical and
engineering challenge, owing to the size and complexity of these
distributions (tens of thousands of software packages). A number of
original topics for research arise from this challenge. This paper is
a gentle introduction to this new research area, and strives to
clearly and formally identify many of the desirable properties that
must be enjoyed by these distributions to ensure an acceptable quality
level.}
}

@inproceedings{edos2006wsl,
  address = {Porto Alegre, Brazil},
  author = {Boender, Jaap and Di Cosmo, Roberto and Durak, Berke and Leroy, Xavier and Mancinelli, Fabio and Morgado, Mario and Pinheiro, David and Treinen, Ralf and Trezentos, Paulo and Vouillon, J{\'e}r{^o}me},
  booktitle = {{P}roceedings of the 7th {I}nternational {W}orkshop on {F}ree {S}oftware ({IWFS}'06)},
  editor = {Berger, Olivier},
  month = apr,
  x-topic = {softeng},
  title = {News from the {EDOS} project: improving the maintenance of free software distributions},
  urllocal = {http://www.dicosmo.org/Articles/wsl06.pdf},
  url = {http://www.dicosmo.org/Articles/wsl06.pdf},
  year = {2006},
  dmi-category = {autc},
  pages = {199 -- 207},
  isbn = {857669066-7}
}

@techreport{Edos2.2,
  author = {Di Cosmo, Roberto and
               Fabio Mancinelli and
               Jaap Boender and
               Jerome Vouillon and
               Berke Durak and
               Xavier Leroy and David Pinheiro and
               Paulo Trezentos and Mario Morgado and Tova Milo and Tal Zur and Rafael Suarez and Marc Lijour and
               Ralf Treinen},
  title = {Report on formal mangement of software dependencies},
  institution = {EDOS},
  year = {2006},
  x-topic = {softeng},
  dmi-category = {deliverable},
  month = apr,
  note = {EDOS project Deliverable 2.2, available as \url{http://hal-univ-diderot.archives-ouvertes.fr/docs/00/69/74/68/PDF/edos-wp2d2.pdf}}
}

@inproceedings{ECitizen06,
  author = {Di Cosmo, Roberto},
  title = {Educating the e-citizen},
  booktitle = {11th annual SIGCSE conference on Innovation and technology in computer science education},
  year = {2006},
  pages = {1--1},
  ee = {http://doi.acm.org/10.1145/1140124.1140125},
  doi = {10.1145/1140124.1140125},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  location = {Bologna, Italy},
  isbn = {1-59593-055-8},
  dmi-category = {invi}
}

@inproceedings{EdosAse06,
  author = {Fabio Mancinelli and
               Jaap Boender and
               Di Cosmo, Roberto and
               Jerome Vouillon and
               Berke Durak and
               Xavier Leroy and
               Ralf Treinen},
  title = {Managing the Complexity of Large Free and Open Source Package-Based
               Software Distributions.},
  booktitle = {21st IEEE/ACM International Conference on Automated Software
               Engineering (ASE)},
  year = {2006},
  pages = {199-208},
  urllocal = {http://www.dicosmo.org/Articles/2006-Edos-Ase.pdf},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.49},
  doi = {10.1109/ASE.2006.49},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  editor = {Sebastian Uchitel and Steve Easterbrook},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2579-2},
  x-topic = {softeng},
  dmi-category = {intc}
}

@article{fclparco06,
  author = {Fran\c{c}ois Cl\'ement and Vincent Martin and Arnaud Vodicka and Di Cosmo, Roberto and Pierre Weis},
  title = {Domain Decomposition and Skeleton Programming with {OCamlP3l}},
  journal = {Parallel Computing},
  year = {2006},
  volume = {32},
  pages = {539--550},
  urllocal = {http://www.dicosmo.org/Articles/2006-ClementDiCosmoMartinVodickaWeis-Parco.pdf},
  ee = {http://dx.doi.org/10.1016/j.parco.2006.04.003},
  doi = {10.1016/j.parco.2006.04.003},
  x-topic = {parallel},
  dmi-category = {jour},
  note = {Special Issue on Algorithmic Skeletons, extended version of ~\cite{fclparco05}}
}

@inproceedings{fclparco05,
  author = {Fran\c{c}ois Cl\'ement and Vincent Martin and Arnaud Vodicka and Di Cosmo, Roberto and Pierre Weis},
  title = {Domain Decomposition and Skeleton Programming with {OCamlP3l}},
  booktitle = {Proc. of the Internat. Conf. on Parallel Computing: Current & Future Issues of High-End Computing},
  pages = {811--818},
  year = {2006},
  editor = {G. R. Joubert and W. E. Nagel and F. J. Peters and O. Plata and P. Tirado and E. Zapata},
  volume = {33},
  series = {J. von Neumann Institute for Computing (NIC)},
  publisher = {NIC-Directors},
  x-topic = {parallel},
  dmi-category = {intc}
}

@article{apal:06,
  author = {Marcelo Fiore and Di Cosmo, Roberto and Vincent Balat},
  url = {http://www.sciencedirect.com/science/article/B6TYB-4H8MNM8-1/2/e457f1b5f47b814e9c5409f9eac608ce},
  title = {Remarks on isomorphisms in typed lambda calculi with empty and sum types},
  journal = {Annals of Pure and Applied Logic},
  year = {2006},
  volume = {141},
  number = {1--2},
  pages = {35--50},
  month = aug,
  x-topic = {typeisos},
  keywords = {Type isomorphism; Typed lambda calculus with sums; Tarski's high school algebra problem},
  urllocal = {http://www.dicosmo.org/Articles/2006-BalatDiCosmoFiore-Apal.pdf},
  dmi-category = {jour},
  doi = {http://dx.doi.org/10.1016/j.apal.2005.09.001},
  abstract = {Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question for the language of arithmetic expressions using a constant for the number one and the operations of product and exponentiation is affirmative, and the complete equational theory also characterises isomorphism in the typed lambda calculus, where the constant for one and the operations of product and exponentiation respectively correspond to the unit type and the product and arrow type constructors. This paper studies isomorphisms in typed lambda calculi with empty and sum types from this viewpoint. Our main contribution is to show that a family of so-called Wilkie-Gurevic identities, that plays a pivotal role in the study of Tarski's high school algebra problem, arises from type-theoretic isomorphisms. We thus close an open problem by establishing that the theory of type isomorphisms in the presence of product, arrow, and sum types (with or without the unit type) is not finitely axiomatisable. Further, we observe that for type theories with arrow, empty and sum types the correspondence between isomorphism and arithmetic equality generally breaks down, but that it still holds in some particular cases including that of type isomorphism with the empty type and equality with zero.}
}

@incollection{sep-logic-linear,
  author = {Di Cosmo, Roberto and Dale Miller},
  title = {Linear Logic},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2006/entries/logic-linear/},
  year = {Fall 2006},
  x-topic = {linlog},
  dmi-category = {autj}
}

@inproceedings{IsosIntersection2008,
  author = {Mariangiola Dezani-Ciancaglini and
               Di Cosmo, Roberto and
               Elio Giovannetti and
               Makoto Tatsuta},
  title = {On Isomorphisms of Intersection Types},
  year = {2008},
  pages = {461-477},
  urllocal = {http://www.dicosmo.org/Articles/2008-DezaniDiCosmoGiovannettiTatsuta-Csl.pdf},
  ee = {http://dx.doi.org/10.1007/978-3-540-87531-4_33},
  doi = {10.1007/978-3-540-87531-4_33},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  dmi-category = {intc},
  editor = {Michael Kaminski and Simone Martini},
  booktitle = {Computer Science Logic, 22nd International Workshop, CSL
               2008, 17th Annual Conference of the EACSL, Bertinoro, Italy,
               September 16-19, 2008. Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5213},
  isbn = {978-3-540-87530-7},
  x-topic = {typeisos}
}

@inproceedings{Compsac08,
  author = {Jaap Boender and
               Di Cosmo, Roberto and
               J{\'e}r{^o}me Vouillon and
               Berke Durak and
               Fabio Mancinelli},
  title = {Improving the Quality of GNU/Linux Distributions},
  year = {2008},
  pages = {1240-1246},
  ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.226},
  doi = {10.1109/COMPSAC.2008.226},
  dmi-category = {intc},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Proceedings of the 32nd Annual IEEE International Computer
               Software and Applications Conference, COMPSAC 2008, 28 July
               - 1 August 2008, Turku, Finland},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3262-2},
  x-topic = {softeng}
}

@inproceedings{MancoosiHotSwUp2008,
  author = {Di Cosmo, Roberto and Zacchiroli, Stefano and Trezentos, Paulo},
  title = {Package upgrades in {FOSS} distributions: details and challenges},
  year = {2008},
  isbn = {978-1-60558-304-4},
  pages = {1--5},
  location = {Nashville, Tennessee},
  urllocal = {http://www.dicosmo.org/Articles/2008-DiCosmoTrezentosZacchiroli-Hotswup.pdf},
  ee = {http://doi.acm.org/10.1145/1490283.1490292},
  doi = {10.1145/1490283.1490292},
  publisher = {ACM},
  address = {New York, NY, USA},
  dmi-category = {intc},
  booktitle = {HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades},
  isbn = {978-1-60558-304-4},
  location = {Nashville, Tennessee},
  x-topic = {softeng}
}

@inproceedings{EDOS-OSS-05,
  author = {
Serge Abiteboul and
Ciar\'an Bryce and
Roberto {Di Cosmo} and
Klaus R. Dittrich and
St\'efane Fermigier and
St\'ephane Lauri`ere and
Fr\'ed\'eric Lepied and
Xavier Leroy and
Tova Milo and
Eleonora Panto and
Radu Pop and
Assaf Sagi and
Yotam Shtossel and
Florent Villard and
Boris Vrdoljak},
  title = {{EDOS}: {Environment} for the {Development} and
                         {Distribution} of {Open} {Source} {Software}},
  booktitle = {First International Conference on {Open} {Source} Systems
                         (OSS 2005)},
  year = 2005,
  x-topic = {softeng},
  urllocal = {http://oss2005.case.unibz.it/Papers/37.pdf},
  abstract = {
The open-source software community is now
comprised of a very large and growing number of
contributors and users. The GNU/Linux operating system for
instance has an estimated 18 million users worldwide and its
contributing developers can be counted by thousands. The
critical mass of contributors taking part in various opensource
projects has helped to ensure high quality for open
source software. However, despite the achievements of the
open-source software industry, there are issues in the
production of large scale open-source software (OSS) such as
the GNU/Linux operating system that have to be addressed as
the numbers of users, of contributors, and of available
applications grow. EDOS is a European project supported by
IST started October 2004 and ending in 2007, whose
objective is to provide a new generation of methodologies,
theoretical models, technical tools and quality models
specifically tailored to OSS engineering and to software
distribution over the Internet.},
  dmi-category = {autc},
  xtopic = {edos}
}

@article{LaRecherche2009,
  author = {Di Cosmo, Roberto},
  title = {La science du logiciel libre},
  journal = {La Recherche},
  note = {Les cahiers de l'INRIA},
  pages = {70--73},
  year = {2009},
  dmi-category = {vulg},
  month = dec,
  url = {http://hal.inria.fr/inria-00511691/fr}
}

@article{ScienceEtAvenir2009,
  author = {Di Cosmo, Roberto},
  title = {Offrons aux jeunes les cl\'es du pouvoir et de la libert\'e},
  journal = {Science et Avenir},
  pages = {42--45},
  volume = 751,
  url = {http://sciencesetavenirmensuel.nouvelobs.com/hebdo/parution/p751/articles/a407123-.html},
  year = {2009},
  dmi-category = {vulg},
  month = sep
}

@inproceedings{ESEM2009,
  author = {Pietro Abate and
               Jaap Boender and
               Di Cosmo, Roberto and
               Stefano Zacchiroli},
  title = {Strong Dependencies between Software Components},
  year = 2009,
  pages = {89--99},
  month = oct,
  publisher = {IEEE Press},
  x-topic = {softeng},
  dmi-category = {intc},
  doi = {10.1109/ESEM.2009.5316017},
  urllocal = {http://www.dicosmo.org/Articles/2009-AbateBoenderDiCosmoZacchiroli-Esem.pdf},
  booktitle = {International Symposium on Empirical Sofware Engineering and Measurement},
  url = {http://ieeexplore.ieee.org:80/search/wrapper.jsp?arnumber=5316017}
}

@article{I-CIO-2009,
  author = {Andrew Donohogue and Di Cosmo, Roberto},
  title = {Open for Business},
  year = 2009,
  month = aug,
  publisher = {Fujitsu Publication/ Redwood},
  journal = {I-CIO, Global Intelligence for the CIO},
  dmi-category = {vulg},
  url = {http://www.i-cio.com/blog/july/roberto-di-cosmo}
}

@inproceedings{ISEC10,
  author = {Di Cosmo, Roberto and Boender, Jaap},
  title = {Using strong conflicts to detect quality issues in component-based complex systems},
  booktitle = {ISEC '10: Proceedings of the 3rd India software engineering conference},
  year = {2010},
  isbn = {978-1-60558-922-0},
  pages = {163--172},
  location = {Mysore, India},
  dmi-category = {intc},
  urllocal = {http://www.dicosmo.org/Articles/2010-BoenderDiCosmo-Isec.pdf},
  doi = {http://doi.acm.org/10.1145/1730874.1730905},
  publisher = {ACM},
  address = {New York, NY, USA},
  x-topic = {softeng}
}

@inproceedings{SPLC2010,
  author = {Di Cosmo, Roberto and
               Stefano Zacchiroli},
  title = {Feature Diagrams as Package Dependencies},
  editor = {Jan Bosch and
               Jaejoon Lee},
  booktitle = {Software Product Lines: Going Beyond - 14th International
               Conference, SPLC 2010, Jeju Island, South Korea. Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6287},
  month = {13-17 } # sep,
  year = {2010},
  pages = {476-480},
  urllocal = {http://www.dicosmo.org/Articles/2010-DiCosmoZacchiroli-Splc.pdf},
  ee = {http://dx.doi.org/10.1007/978-3-642-15579-6_40},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  x-topic = {softeng},
  dmi-category = {intc}
}

@article{IsosIntersection2010,
  author = {Mariangiola Dezani-Ciancaglini and
               Di Cosmo, Roberto and
               Elio Giovannetti and
               Makoto Tatsuta},
  title = {On isomorphisms of intersection types},
  journal = {ACM Transactions on Computational Logic},
  volume = {11},
  pages = {1-24},
  number = {4},
  year = {2010},
  urllocal = {http://www.dicosmo.org/Articles/2010-DezaniDiCosmoGiovannettiTatsuta-Tocl.pdf},
  ee = {http://doi.acm.org/10.1145/1805950.1805955},
  doi = {http://doi.acm.org/10.1145/1805950.1805955},
  dmi-category = {jour},
  x-topic = {typeisos},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Predictions2011,
  author = {Pietro Abate and Di Cosmo, Roberto},
  title = {Predicting Upgrade Failures Using Dependency Analysis},
  year = {2011},
  urllocal = {http://www.dicosmo.org/Articles/2011-AbateDiCosmo-Hotswup.pdf},
  doi = {http://dx.doi.org/10.1109/ICDEW.2011.5767626},
  ee = {http://dx.doi.org/10.1109/ICDEW.2011.5767626},
  pages = {145-150},
  editor = {Serge Abiteboul and
              Klemens B{\"o}hm and
              Christoph Koch and
              Kian-Lee Tan},
  booktitle = {Workshops Proceedings of the 27th International Conference
              on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover,
              Germany},
  publisher = {IEEE},
  x-topic = {softeng},
  isbn = {978-1-4244-9194-0},
  dmi-category = {intc}
}

@article{SCP2011,
  title = {Supporting software evolution in component-based {FOSS} systems},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {12},
  pages = {1144-1160},
  month = dec,
  year = {2011},
  note = {},
  issn = {0167-6423},
  urllocal = {http://www.dicosmo.org/Articles/2010-DiCosmoDiRuscioPeliccionePierantonioZacchiroli-Scp.pdf},
  doi = {DOI: 10.1016/j.scico.2010.11.001},
  url = {http://authors.elsevier.com/offprints/SCICO1260/72d70a6343eaa626df60920580edfa83},
  author = {Di Cosmo, Roberto and Di Ruscio, Davide and Patrizio Pelliccione and Alfonso Pierantonio and Stefano Zacchiroli},
  keywords = {System's upgrade},
  keywords = {FOSS systems},
  keywords = {Open source project},
  keywords = {Model-driven engineering (MDE)},
  keywords = {Configuration management},
  dmi-category = {jour},
  x-topic = {softeng}
}

@inproceedings{mpm2011,
  author = {Abate, Pietro and Di Cosmo, Roberto and Treinen, Ralf and Zacchiroli, Stefano},
  title = {MPM: a modular package manager},
  booktitle = {Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering},
  series = {CBSE '11},
  year = {2011},
  isbn = {978-1-4503-0723-9},
  location = {Boulder, Colorado, USA},
  pages = {179--188},
  numpages = {10},
  urllocal = {http://www.dicosmo.org/Articles/2011-AbateDiCosmoTreinenZacchiroli-Cbse.pdf},
  url = {http://doi.acm.org/10.1145/2000229.2000255},
  doi = {http://doi.acm.org/10.1145/2000229.2000255},
  acmid = {2000255},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {package managers},
  x-topic = {softeng},
  dmi-category = {intc}
}

@inproceedings{FSE2011,
  author = {Di Cosmo, Roberto and J{\'e}r{^o}me Vouillon},
  title = {On software component co-installability},
  year = {2011},
  pages = {256-266},
  urllocal = {http://www.dicosmo.org/Articles/coinstallability.pdf},
  ee = {http://doi.acm.org/10.1145/2025113.2025149},
  doi = {http://doi.acm.org/10.1145/2025113.2025149},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  dmi-category = {intc},
  editor = {Tibor Gyim{\'o}thy and
               Andreas Zeller},
  booktitle = {SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations
               of Software Engineering (FSE-19) and ESEC'11: 13rd European
               Software Engineering Conference (ESEC-13), Szeged, Hungary,
               September 5-9, 2011},
  publisher = {ACM},
  isbn = {978-1-4503-0443-6},
  x-topic = {softeng}
}

@inproceedings{6224274,
  author = {Artho, C. and Suzaki, K. and Di Cosmo, R. and Treinen, R. and Zacchiroli, S.},
  booktitle = {Mining Software Repositories (MSR), 2012 9th IEEE Working Conference on},
  title = {Why do software packages conflict?},
  year = {2012},
  pages = {141-150},
  abstract = {Determining whether two or more packages cannot be installed together is an important issue in the quality assurance process of package-based distributions. Unfortunately, the sheer number of different configurations to test makes this task particularly challenging, and hundreds of such incompatibilities go undetected by the normal testing and distribution process until they are later reported by a user as bugs that we call “conflict defects”. We performed an extensive case study of conflict defects extracted from the bug tracking systems of Debian and Red Hat. According to our results, conflict defects can be grouped into five main categories. We show that with more detailed package meta-data, about 30 % of all conflict defects could be prevented relatively easily, while another 30 % could be found by targeted testing of packages that share common resources or characteristics. These results allow us to make precise suggestions on how to prevent and detect conflict defects in the future.},
  keywords = {program debugging;program testing;quality assurance;software packages;software quality;Debian;Red Hat;bug tracking system;conflict defect;distribution process;normal testing;package meta-data;package-based distribution;quality assurance process;software package;Computer bugs;Databases;Libraries;Manuals;Software packages;Testing},
  doi = {10.1109/MSR.2012.6224274},
  issn = {2160-1852},
  dmi-category = {intc},
  urllocal = {http://www.dicosmo.org/Articles/2011-ArthoSuzakiDiCosmoTreinenZacchiroli-Msr.pdf}
}

@inproceedings{AlignedUpgrades2011,
  author = {Di Cosmo, Roberto and Olivier Lhomme and Claude Michel},
  title = {Aligning component upgrades},
  year = {2011},
  pages = {1-11},
  x-topic = {softeng},
  urllocal = {http://www.dicosmo.org/Articles/2011-DiCosmoLhommeMichel-Lococo.pdf},
  doi = {http://doi.acm.org/10.4204/EPTCS.65.1},
  abstract = {    Modern software systems, like GNU/Linux distributions or Eclipse-based
    development environment, are often deployed by selecting components out of
    large component repositories. Maintaining such software systems by
    performing component upgrades is a complex task, and the users need to have
    an expressive preferences language at their disposal to specify the kind of
    upgrades they are interested in. Recent research has shown that it is
    possible to develop solvers that handle preferences expressed as a
    combination of a few basic criteria used in the MISC competition, ranging
    from the number of new components to the freshness of the final
    configuration. In this work we introduce a set of new criteria that allow
    the users to specify their preferences for solutions with components aligned
    to the same upstream sources, provide an efficient encoding and report on
    the experimental results that prove that optimising these alignment criteria
    is a tractable problem in practice.},
  editor = {Conrad Drescher and
               In{^e}s Lynce and
               Ralf Treinen},
  booktitle = {Proceedings Second Workshop on Logics for Component Configuration},
  journal = {EPTCS},
  volume = {65},
  ee = {http://arxiv.org/abs/1108.6097},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  dmi-category = {intc}
}

@article{Parmap2012,
  author = {Marco Danelutto and
               Di Cosmo, Roberto},
  title = {A "{M}inimal {D}isruption" Skeleton Experiment: Seamless Map
               {&} Reduce Embedding in {OC}aml},
  journal = {Procedia CS},
  volume = {9},
  year = {2012},
  pages = {1837-1846},
  ee = {http://dx.doi.org/10.1016/j.procs.2012.04.202},
  doi = {http://dx.doi.org/10.1016/j.procs.2012.04.202},
  urllocal = {http://www.dicosmo.org/Articles/2012-DaneluttoDiCosmo-Pcs.pdf},
  dmi-category = {intc},
  x-topic = {parallel},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DepSolversNP2012,
  author = {Abate, Pietro and Di Cosmo, Roberto and Treinen, Ralf and Zacchiroli, Stefano},
  title = {Dependency Solving: a Separate Concern in Component Evolution Management},
  journal = {Journal of System and Software Science},
  year = {2012},
  dmi-category = {jour},
  volume = {85},
  number = {10},
  pages = {2228 - 2240},
  note = {Automated Software Evolution},
  issn = {0164-1212},
  doi = {10.1016/j.jss.2012.02.018},
  urllocal = {http://www.dicosmo.org/Articles/2012-AbateDiCosmoTreinenZacchiroli-Jss.pdf},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121212000477},
  x-topic = {softeng},
  keywords = {Component},
  keywords = {Dependency solving},
  keywords = {Software evolution},
  keywords = {Package management},
  keywords = {Open source},
  keywords = {Competition}
}

@article{LeMonde2012,
  author = {Patrice Bertrand and Di Cosmo, Roberto and Stefane Fermigier},
  title = {Il faut enseigner le Logiciel Libre en France},
  journal = {Le Monde },
  pages = {8 (suppl. Sciences & Techno)},
  month = 20 # oct,
  year = {2012},
  dmi-category = {vulg}
}

@article{MPM2012ITS,
  author = {Pietro Abate and Di Cosmo,Roberto and Ralf Treinen and Stefano Zacchiroli},
  title = {A modular package manager architecture},
  journal = {Information and Software Technology},
  volume = {55},
  number = {2},
  pages = {459 - 474},
  year = {2013},
  note = {Special Section: Component-Based Software Engineering (CBSE), 2011},
  issn = {0950-5849},
  doi = {10.1016/j.infsof.2012.09.002},
  urllocal = {http://www.dicosmo.org/Articles/2013-AbateDiCosmoTreinenZacchiroli-Ist.pdf},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584912001851},
  keywords = {Software dependencies},
  keywords = {Software repositories},
  keywords = {Software components},
  keywords = {Package manager},
  keywords = {Open source},
  x-topic = {softeng},
  dmi-category = {jour},
  abstract = {Context
   The success of modern software distributions in the Free and Open Source world can be explained, among other factors, by the availability of a large collection of software packages and the possibility to easily install and remove those components using state-of-the-art package managers. However, package managers are often built using a monolithic architecture and hard-wired and ad-hoc dependency solvers implementing some customized heuristics.
   Objective
   We aim at laying the foundation for improving on existing package managers. Package managers should be complete, that is find a solution whenever there exists one, and allow the user to specify complex criteria that define how to pick the best solution according to the user~s preferences.
   Method
   In this paper we propose a modular architecture relying on precise interface formalisms that allows the system administrator to choose from a variety of dependency solvers and backends.
   Results
   We have built a working prototype, called MPM, following the design advocated in this paper, and we show how it largely outperforms a variety of current package managers.
   Conclusion
   We argue that a modular architecture, allowing for delegating the task of constraint solving to external solvers, is the path that leads to the next generation of package managers that will deliver better results, offer more expressive preference languages, and be easily adaptable to new platforms.}
}

@unpublished{BallotSignature2007,
  author = {Di Cosmo, Roberto},
  title = {On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack},
  dmi-category = {infl},
  month = apr,
  year = {2007},
  url = {http://hal.archives-ouvertes.fr/hal-00142440},
  x-topic = {securi},
  abstract = {        This paper describes in detail an attack on multiple-choice voting
        schemas, that has gone largely unnoticed in the literature. Written in
        2006, to complement my original Wikipedia article dating back to January
        2005, it is still unpublished up to now: I did not find yet the
        necessary energy to go through the process of getting it accepted in the
        scholar community working on security, which is not my research
        domain. And yet, it is probably my most referenced and more influential
        article to date (just Google it around a bit).}
}

@inproceedings{AeolusModel2012,
  author = {Di Cosmo, Roberto and
               Stefano Zacchiroli and
               Gianluigi Zavattaro},
  title = {Towards a Formal Component Model for the Cloud},
  booktitle = {SEFM},
  year = {2012},
  pages = {156-171},
  urllocal = {http://www.dicosmo.org/Articles/2012-DiCosmoZacchiroliZavattaro-Sefm.pdf},
  ee = {http://dx.doi.org/10.1007/978-3-642-33826-7_11},
  doi = {http://dx.doi.org/10.1007/978-3-642-33826-7_11},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  x-topic = {softeng},
  dmi-category = {intc}
}

@inproceedings{Hats2012,
  author = {Di Cosmo, Roberto and
               Ralf Treinen and
               Stefano Zacchiroli},
  title = {Formal Aspects of Free and Open Source Software Components
               - A Short Survey},
  booktitle = {FMCO},
  year = {2012},
  pages = {216-239},
  urllocal = {http://www.dicosmo.org/Articles/2012-DiCosmoTreinenZacchiroli-Fmco.pdf},
  ee = {http://dx.doi.org/10.1007/978-3-642-40615-7_8},
  doi = {http://dx.doi.org/10.1007/978-3-642-40615-7_8},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  x-topic = {softeng},
  dmi-category = {intc}
}

@inproceedings{Cbse2012,
  author = {Abate, Pietro and Di Cosmo, Roberto and Treinen, Ralf and Zacchiroli, Stefano},
  title = {Learning from the future of component repositories},
  booktitle = {Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering},
  series = {CBSE '12},
  year = {2012},
  isbn = {978-1-4503-1345-2},
  location = {Bertinoro, Italy},
  pages = {51--60},
  numpages = {10},
  urllocal = {http://www.dicosmo.org/Articles/2012-AbateDiCosmoTreinenZacchiroli-Cbse.pdf},
  url = {http://doi.acm.org/10.1145/2304736.2304747},
  doi = {http://doi.acm.org/10.1145/2304736.2304747},
  acmid = {2304747},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {component repository, quality assurance, speculative analysis},
  x-topic = {softeng},
  dmi-category = {intc}
}

@inproceedings{coinst-upgrade,
  author = {J\'er^ome Vouillon and Di Cosmo, Roberto},
  title = {Broken Sets in Software Repository Evolution},
  booktitle = {ICSE},
  year = {2013},
  pages = {412-421},
  x-topic = {softeng},
  doi = {http://dx.doi.org/10.1145/2522920.2522927},
  urllocal = {http://www.dicosmo.org/Articles/2013-DiCosmoVouillon-Icse.pdf},
  dmi-category = {intc}
}

@inproceedings{AeolusIcalp2013,
  author = {Di Cosmo, Roberto and
                  Jacopo Mauro and
                  Stefano Zacchiroli and
                  Gianluigi Zavattaro},
  title = {Component Reconfiguration in the Presence of Conflicts},
  booktitle = {ICALP (2)},
  year = {2013},
  pages = {187-198},
  urllocal = {http://www.dicosmo.org/Articles/2013-DiCosmoMauroZavattaroZacchiroli-Icalp.pdf},
  ee = {http://dx.doi.org/10.1007/978-3-642-39212-2_19},
  doi = {http://dx.doi.org/10.1007/978-3-642-39212-2_19},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  x-topic = {softeng},
  dmi-category = {intc}
}

@inproceedings{Esoc2013,
  author = {Michel Catan and
                  Di Cosmo, Roberto and
                  Antoine Eiche and
                  Tudor A. Lascu and
                  Michael Lienhardt and
                  Jacopo Mauro and
                  Ralf Treinen and
                  Stefano Zacchiroli and
                  Gianluigi Zavattaro and
                  Jakub Zwolakowski},
  title = {Aeolus: Mastering the Complexity of Cloud Application Deployment},
  booktitle = {ESOCC},
  year = {2013},
  pages = {1-3},
  urllocal = {http://www.dicosmo.org/Articles/2013-CatanDiCosmoEicheLascuLienhardtMauroTreinenZavattaroZacchiroliZwolakowski-esocc.pdf},
  ee = {http://dx.doi.org/10.1007/978-3-642-40651-5_1},
  doi = {http://dx.doi.org/10.1007/978-3-642-40651-5_1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  x-topic = {softeng},
  dmi-category = {intc}
}

@article{PourLaScience2013,
  author = {Di Cosmo, Roberto},
  title = {Organiser le partage pour pr\'eserver les donn\'ees},
  journal = {Pour la {S}cience},
  pages = {86--90},
  year = {2013},
  volume = 433,
  dmi-category = {vulg},
  month = nov,
  urllocal = {http://www.dicosmo.org/Articles/2013-11-PourLaScience-partage_donnees.pdf},
  url = {http://www.pourlascience.fr/ewb_pages/a/article-32240-organiser-le-partage-pour-preserver-les-donnees.php}
}

@article{CoinstTosem2013,
  author = {J{\'e}r{^o}me Vouillon and
               Di Cosmo, Roberto},
  title = {On software component co-installability},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  volume = {22},
  number = {4},
  year = {2013},
  pages = {34},
  ee = {http://doi.acm.org/10.1145/2522920.2522927},
  doi = {http://doi.acm.org/10.1145/2522920.2522927},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  x-topic = {softeng},
  urllocal = {http://www.dicosmo.org/Articles/2013-DiCosmoVouillon-Tosem.pdf},
  dmi-category = {journal}
}

@inproceedings{comigrate,
  author = {J{\'{e}}r{^{o}}me Vouillon and Mehdi Dogguy and Di Cosmo, Roberto},
  title = {Easing software component repository evolution},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  pages = {756--766},
  year = {2014},
  crossref = {DBLP:conf/icse/2014},
  url = {http://doi.acm.org/10.1145/2568225.2568262},
  doi = {10.1145/2568225.2568262},
  timestamp = {Sun, 18 May 2014 16:12:57 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icse/VouillonDC14},
  urllocal = {http://www.dicosmo.org/Articles/2014-DiCosmoMehdiVouillon-ICSE.pdf},
  dmi-category = {intc},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  x-topic = {softeng}
}

@article{SCP2014,
  title = {Learning from the future of component repositories},
  journal = {Science of Computer Programming},
  volume = {90},
  number = {B},
  pages = {93-115},
  month = sep,
  year = {2014},
  note = {},
  urllocal = {http://www.dicosmo.org/Articles/2014-DiCosmoAbateTreinenZacchiroli-SCP.pdf},
  author = {Pietro Abate and Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
  keywords = {Error prediction},
  keywords = {Component repositories},
  keywords = {Open source},
  keywords = {Configuration management},
  dmi-category = {jour},
  x-topic = {softeng}
}

@inproceedings{Aeolus2014,
  author = {Di Cosmo, Roberto  and
               Michael Lienhardt and
               Ralf Treinen and
               Stefano Zacchiroli and
               Jakub Zwolakowski and
               Antoine Eiche and
               Alexis Agahi},
  title = {Automated synthesis and deployment of cloud applications},
  booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  year = {2014},
  pages = {211--222},
  crossref = {DBLP:conf/kbse/2014},
  url = {http://doi.acm.org/10.1145/2642937.2642980},
  doi = {10.1145/2642937.2642980},
  timestamp = {Wed, 15 Oct 2014 11:29:09 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/kbse/CosmoLTZZEA14},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  urllocal = {http://www.dicosmo.org/Articles/Aeolus-2014.pdf},
  dmi-category = {intc},
  x-topic = {softeng}
}

@article{IandC2014,
  author = {Di Cosmo, Roberto and
               Jacopo Mauro and
               Stefano Zacchiroli and
               Gianluigi Zavattaro},
  title = {Aeolus: {A} component model for the cloud},
  journal = {Information and Computation},
  volume = {239},
  pages = {100--121},
  year = {2014},
  url = {http://dx.doi.org/10.1016/j.ic.2014.11.002},
  doi = {10.1016/j.ic.2014.11.002},
  timestamp = {Thu, 04 Dec 2014 11:41:41 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/CosmoMZZ14},
  urllocal = {http://www.dicosmo.org/Articles/Aeolus-IandC-2014.pdf},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  dmi-category = {jour},
  x-topic = {softeng}
}

@inproceedings{MSR2015-distcheck,
  author = {Pietro Abate and
               Di Cosmo, Roberto and
               Louis Gesbert and
               Le Fessant, Fabrice and
               Ralf Treinen and
               Stefano Zacchiroli},
  title = {Mining Component Repositories for Installability Issues},
  booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  pages = {24--33},
  year = 2015,
  crossref = {DBLP:conf/msr/2015},
  url = {http://dx.doi.org/10.1109/MSR.2015.10},
  doi = {10.1109/MSR.2015.10},
  timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/msr/AbateCGFTZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  urllocal = {http://www.dicosmo.org/Articles/2015-MSR-distcheck.pdf},
  dmi-category = {intc},
  x-topic = {softeng}
}

@inproceedings{MSR2015-coisntevol,
  author = {Ma{\"{e}}lick Claes and
               Tom Mens and
               Di Cosmo, Roberto and
               J{\'{e}}r{^{o}}me Vouillon},
  title = {A Historical Analysis of Debian Package Incompatibilities},
  booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  pages = {212--223},
  year = 2015,
  crossref = {DBLP:conf/msr/2015},
  url = {http://dx.doi.org/10.1109/MSR.2015.27},
  doi = {10.1109/MSR.2015.27},
  timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/msr/ClaesMCV15},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  urllocal = {http://www.dicosmo.org/Articles/2015-MSR-coinstevol.pdf},
  dmi-category = {intc},
  x-topic = {softeng}
}

@inproceedings{Aeolus2015,
  author = {Di Cosmo, Roberto and
               Michael Lienhardt and
               Jacopo Mauro and
               Stefano Zacchiroli and
               Gianluigi Zavattaro and
               Jakub Zwolakowski},
  title = {Automatic Application Deployment in the Cloud: from Practice to Theory
               and Back (Invited Paper)},
  booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
               Madrid, Spain, September 1.4, 2015},
  pages = {1--16},
  year = {2015},
  crossref = {DBLP:conf/concur/2015},
  url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.1},
  doi = {10.4230/LIPIcs.CONCUR.2015.1},
  timestamp = {Wed, 02 Sep 2015 14:06:49 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/concur/CosmoLMZZZ15},
  urllocal = {http://www.dicosmo.org/Articles/2015-concur.pdf},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  dmi-category = {invited},
  x-topic = {softeng}
}

@article{JournalCNRS2015,
  author = {Di Cosmo, Roberto},
  title = {Reprenons le contr^ole de nos donn\'ees},
  journal = {Journal du CNRS},
  year = {2015},
  month = 14 # apr,
  dmi-category = {vulg},
  urllocal = {http://www.dicosmo.org/Articles/faits_marquants_2015_web.pdf},
  url = {http://www.cnrs.fr/ins2i/IMG/pdf/faits_marquants_2015_web.pdf},
  url = {https://lejournal.cnrs.fr/billets/reprenons-le-controle-de-nos-donnees}
}

@proceedings{DBLP:conf/icse/2014,
  editor = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  publisher = {{ACM}},
  year = {2014},
  url = {http://dl.acm.org/citation.cfm?id=2568225},
  isbn = {978-1-4503-2756-5},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icse/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  dmi-category = {misc}
}

@proceedings{DBLP:conf/kbse/2014,
  editor = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  year = {2014},
  publisher = {{ACM}},
  url = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn = {978-1-4503-3013-8},
  timestamp = {Wed, 15 Oct 2014 11:29:09 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  dmi-category = {misc}
}

@proceedings{DBLP:conf/msr/2015,
  editor = {Massimiliano Di Penta and Martin Pinzger and Romain Robbes},
  title = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  publisher = {{IEEE}},
  year = 2015,
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7180033},
  isbn = {978-0-7695-5594-2},
  timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/msr/2015},
  dmi-category = {misc},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/concur/2015,
  editor = {Luca Aceto and
               David de Frutos{-}Escrig},
  title = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
               Madrid, Spain, September 1.4, 2015},
  series = {LIPIcs},
  volume = {42},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2015},
  url = {http://www.dagstuhl.de/dagpub/978-3-939897-91-0},
  isbn = {978-3-939897-91-0},
  timestamp = {Wed, 02 Sep 2015 14:06:49 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/concur/2015},
  dmi-category = {misc},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{sif2017,
  author = {Di Cosmo, Roberto},
  title = {Software Heritage: pourquoi et comment construire l'archive universelle du code source},
  journal = {1024},
  note = {Bulletin de la Soci\'et\'e Informatique de France},
  pages = {67--72},
  number = 10,
  year = {2017},
  dmi-category = {vulg},
  url = {http://www.societe-informatique-de-france.fr/wp-content/uploads/2017/04/1024-no10-Software-Heritage.pdf},
  urllocal = {http://www.dicosmo.org/Articles/1024-no10-Software-Heritage.pdf},
  month = may
}

@inproceedings{OSS2017,
  author = {Pietro Abate and
               Di Cosmo, Roberto},
  title = {Adoption of academic tools in open source communities: the {D}ebian case study},
  year = 2017,
  pages = {139--150},
  month = mai,
  publisher = {Springer},
  x-topic = {softeng},
  dmi-category = {intc},
  urllocal = {http://www.dicosmo.org/Articles/2017-OSS-adoption.pdf},
  booktitle = {OSS 2017}
}

@inproceedings{NightSplitter2017,
  author = {Tong Liu and
               Roberto Di Cosmo and
               Maurizio Gabbrielli and
               Jacopo Mauro},
  title = {NightSplitter: {A} Scheduling Tool to Optimize (Sub)group Activities},
  booktitle = {Principles and Practice of Constraint Programming - 23rd International
               Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
               1, 2017, Proceedings},
  pages = {370--386},
  year = {2017},
  dmi-category = {intc},
  crossref = {DBLP:conf/cp/2017},
  url = {https://doi.org/10.1007/978-3-319-66158-2_24},
  doi = {10.1007/978-3-319-66158-2_24},
  timestamp = {Wed, 23 Aug 2017 10:15:24 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/cp/LiuCGM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/cp/2017,
  editor = {J. Christopher Beck},
  title = {Principles and Practice of Constraint Programming - 23rd International
               Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
               1, 2017, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {10416},
  publisher = {Springer},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-66158-2},
  doi = {10.1007/978-3-319-66158-2},
  isbn = {978-3-319-66157-5},
  timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/cp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{OCamlMOOC2017,
  author = {Benjamin Canou and
               Roberto Di Cosmo and
               Gr{\'{e}}goire Henry},
  title = {Scaling up functional programming education: under the hood of the
               OCaml {MOOC}},
  journal = {{PACMPL}},
  volume = {1},
  number = {{ICFP}},
  pages = {4:1--4:25},
  year = {2017},
  url = {http://doi.acm.org/10.1145/3110248},
  doi = {10.1145/3110248},
  dmi-category = {journal},
  timestamp = {Tue, 12 Sep 2017 16:16:51 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/pacmpl/CanouCH17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{entretien2017,
  author = {Di Cosmo, Roberto and Val\'erie Schafer},
  title = {Le logiciel libre, de l'usage à la recherche},
  journal = {1024},
  note = {Bulletin de la Soci\'et\'e Informatique de France},
  pages = {39--52},
  number = 11,
  year = {2017},
  dmi-category = {vulg},
  url = {http://www.societe-informatique-de-france.fr/wp-content/uploads/2017/10/1024-no11-DiCosmo.pdf},
  urllocal = {http://www.dicosmo.org/Articles/1024-no11-DiCosmo.pdf},
  month = sep
}


This file was generated by

bibtex2html 1.98.