Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

102 résultats
Page :
triés par
Image document

Simulating expansions without expansions

 R. Di Cosmo , D. Kesner
RR-1911, INRIA. 1993
Rapport inria-00074762v1

On isomorphisms of intersection types

 Roberto Di Cosmo , Mariangiola Dezani-Ciancaglini , Elio Giovannetti , Tatsuta Makoto
ACM Transactions on Computational Logic, 2010, 11 (4), pp.1-24. ⟨10.1145/1805950.1805955⟩
Article dans une revue hal-00524844v1
Image document

Software Stories for landmark legacy code

 Morane Gruenpeter , Roberto Di Cosmo , Katherine Thornton , Kenneth Seals-Nutt , Carlo Montangero , et al.
[Research Report] Inria. 2021
Rapport hal-03483982v1
Image document

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

 Fabio Mancinelli , Jaap Boender , Roberto Di Cosmo , Jérôme Vouillon , Berke Durak , et al.
21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩
Communication dans un congrès hal-00149566v1

Easing software component repository evolution

 Jérôme Vouillon , Roberto Di Cosmo
International Conference on Software Engineering, May 2014, Hyderabad, India. pp.756-766, ⟨10.1145/2568225.2568262⟩
Communication dans un congrès hal-01134312v1
Image document

A "minimal disruption" skeleton experiment: seamless map & reduce embedding in OCaml

 Marco Danelutto , Roberto Di Cosmo
International Conference on Computational Science, Jun 2012, Omaha, United States. pp.1837-1846, ⟨10.1016/j.procs.2012.04.202⟩
Communication dans un congrès hal-00692515v1
Image document

Establishing a national research software award

 Isabelle Catala , Roberto Di Cosmo , Mathieu Giraud , Daniel Le Berre , Violaine Louvet , et al.
2023
Pré-publication, Document de travail hal-04258977v1
Image document

OcamlP3l release 2.03

 Roberto Di Cosmo , Pierre Weis , Francois Clement , Zheng Li
2007, ⟨swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940;origin=https://hal.archives-ouvertes.fr/hal-02487579;visit=swh:1:snp:18b778c20ee37588bfa16bb8d00d8046bcbb462c;anchor=swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42;path=/⟩
Logiciel hal-02487579v1
Image document

La création du nouveau type de dépôt scientifique - Le logiciel

 Yannick Barborini , Roberto Di Cosmo , Antoine R. Dumont , Morane Gruenpeter , Bruno P Marmol , et al.
JSO 2018 - 7es journées Science Ouverte Couperin : 100 % open access : initiatives pour une transition réussie, Jan 2018, Paris, France. , 2018
Poster de conférence hal-01688726v1

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

 Vincent Balat , Roberto Di Cosmo , Marcelo Fiore
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan 2004, pp.64-76, ⟨10.1145/964001.964007⟩
Communication dans un congrès hal-00149561v1

The Equational Theory of ( N , 0, 1, +, ×, uparrow ) Is Decidable, but Not Finitely Axiomatisable

 Roberto Di Cosmo , Thomas Dufour
11th International Conference, LPAR 2004, Feb 2005, Montevideo, Uruguay. pp.240-256, ⟨10.1007/b106931⟩
Communication dans un congrès hal-00149562v1
Image document

EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies

 Roberto Di Cosmo
[Technical Report] 2005
Rapport hal-00697463v1

On software component co-installability

 Jérôme Vouillon , Roberto Di Cosmo
ESEC/FSE, Sep 2011, France. pp.n-a, ⟨10.1145/2025113.2025149⟩
Communication dans un congrès hal-00622826v1
Image document

SWHAP Workshop, September 14th and 15th, 2023

 Mathilde Fichen , Morane Gruenpeter , Jérémy Bobbio , Sabrina Granger , Roberto Di Cosmo , et al.
Software Heritage. 2023
Rapport hal-04251779v1
Image document

Legal Tools to Protect Software: Choosing the Right One

 Roberto Di Cosmo
UPGRADE : The European Journal for the Informatics Professional, 2003, 4 (3), pp.21-23
Article dans une revue hal-03362924v1
Image document

Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria

 Pierre Alliez , Roberto Di Cosmo , Benjamin Guedj , Alain Girault , Mohand-Said Hacid , et al.
Computing in Science and Engineering, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
Article dans une revue hal-02135891v2
Image document

The creation of a new type of scientific deposit: Software

 Yannick Barborini , Roberto Di Cosmo , Antoine R. Dumont , Morane Gruenpeter , Bruno P Marmol , et al.
RDA Eleventh Plenary Meeting, Berlin, Germany, Mar 2018, Berlin, Germany. , 2018
Poster de conférence hal-01738741v1
Image document

Identifiers for Digital Objects: the Case of Software Source Code Preservation

 Roberto Di Cosmo , Morane Gruenpeter , Stefano Zacchiroli
iPRES 2018 - 15th International Conference on Digital Preservation, Sep 2018, Boston, United States. pp.1-9, ⟨10.17605/OSF.IO/KDE56⟩
Communication dans un congrès hal-01865790v4
Image document

Sources of Inter-package Conflicts in Debian

 Cyrille Artho , Roberto Di Cosmo , Kuniyasu Suzaki , Stefano Zacchiroli
LoCoCo 2011 International Workshop on Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-9
Communication dans un congrès hal-00628589v2
Image document

Component Reconfiguration in the Presence of Conflicts

 Roberto Di Cosmo , Jacopo Mauro , Stefano Zacchiroli , Gianluigi Zavattaro
ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
Communication dans un congrès hal-00909336v1

Why Do Software Packages Conflict?

 Cyrille Artho , Roberto Di Cosmo , Kuniyasu Suzaki , Ralf Treinen , Stefano Zacchiroli
9th Working Conference on Mining Software Repositories, Jun 2012, Zurich, Switzerland
Communication dans un congrès hal-00694022v1
Image document

Couplage de codes numériques, parallélisme et langages de haut niveau

 François Clément , Arnaud Vodicka , Roberto Di cosmo , Pierre Weis
[Rapport de recherche] RR-4825, INRIA. 2003
Rapport inria-00071761v1
Image document

Ethique du numérique, données personnelles et données d’intérêt générale. Préparation à l’agrégation d’Informatique

 Roberto Di Cosmo
Master. France. 2023
Cours hal-03341559v2
Image document

EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies

 Roberto Di Cosmo
[Technical Report] 2006
Rapport hal-00697468v1

Skeletal Parallel Programming with OCAMLP3L 2.0

 Roberto Di Cosmo , Zheng Li , Susanna Pelagatti , Pierre Weis
Parallel Processing Letters, 2008, 18 (1), pp.149-164
Article dans une revue hal-00265664v1
Image document

Higher Education and Research Forges in France - Definition, uses, limitations encountered and needs analysis

 Daniel Le Berre , Jean-Yves Jeannas , Roberto Di Cosmo , François Pellegrini
Comité pour la science ouverte. 2023
Rapport hal-04208924v2
Image document

Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale

 Guillaume Rousseau , Roberto Di Cosmo , Stefano Zacchiroli
2019
Pré-publication, Document de travail hal-02158292v2
Image document

Software Heritage: Why and How to Preserve Software Source Code

 Roberto Di Cosmo , Stefano Zacchiroli
iPRES 2017 - 14th International Conference on Digital Preservation, Sep 2017, Kyoto, Japan. pp.1-10
Communication dans un congrès hal-01590958v1
Image document

Building the Universal Archive of Source Code A global collaborative project for the benefit of all

 Jean-François Abramatic , Roberto Di Cosmo , Stefano Zacchiroli
Communications of the ACM, 2018, 61 (10), pp.29-31. ⟨10.1145/3183558⟩
Article dans une revue hal-02157125v1
Image document

Using Preferences to Tame your Package Manager

 Pietro Abate , Roberto Di Cosmo , Louis Gesbert , Fabrice Le Fessant , Stefano Zacchiroli
OCaml 2014, Sep 2014, Goteborg, Sweden
Communication dans un congrès hal-01091177v1
Page :