Filtrer vos résultats
- 66
- 35
- 1
- 42
- 25
- 18
- 8
- 2
- 2
- 2
- 1
- 1
- 1
- 7
- 3
- 1
- 98
- 12
- 7
- 3
- 1
- 8
- 2
- 2
- 7
- 7
- 4
- 5
- 4
- 3
- 6
- 4
- 8
- 3
- 4
- 3
- 3
- 9
- 6
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 89
- 11
- 2
- 54
- 20
- 14
- 13
- 11
- 9
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 102
- 30
- 8
- 7
- 7
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
102 résultats
|
Simulating expansions without expansionsRR-1911, INRIA. 1993
Rapport
inria-00074762v1
|
||
On isomorphisms of intersection typesACM Transactions on Computational Logic, 2010, 11 (4), pp.1-24. ⟨10.1145/1805950.1805955⟩
Article dans une revue
hal-00524844v1
|
|||
|
Software Stories for landmark legacy code[Research Report] Inria. 2021
Rapport
hal-03483982v1
|
||
|
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions21st 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
|
||
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sumsProceedings 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 Axiomatisable11th International Conference, LPAR 2004, Feb 2005, Montevideo, Uruguay. pp.240-256, ⟨10.1007/b106931⟩
Communication dans un congrès
hal-00149562v1
|
||
Easing software component repository evolutionInternational Conference on Software Engineering, May 2014, Hyderabad, India. pp.756-766, ⟨10.1145/2568225.2568262⟩
Communication dans un congrès
hal-01134312v1
|
|||
|
A "minimal disruption" skeleton experiment: seamless map & reduce embedding in OCamlInternational 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
|
||
|
Establishing a national research software award2023
Pré-publication, Document de travail
hal-04258977v1
|
||
|
OcamlP3l release 2.03Logiciel hal-02487579v1 |
||
|
La création du nouveau type de dépôt scientifique - Le logicielJSO 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
|
||
|
EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies[Technical Report] 2005
Rapport
hal-00697463v1
|
||
On software component co-installabilityESEC/FSE, Sep 2011, France. pp.n-a, ⟨10.1145/2025113.2025149⟩
Communication dans un congrès
hal-00622826v1
|
|||
|
Legal Tools to Protect Software: Choosing the Right OneUPGRADE : The European Journal for the Informatics Professional, 2003, 4 (3), pp.21-23
Article dans une revue
hal-03362924v1
|
||
|
SWHAP Workshop, September 14th and 15th, 2023Software Heritage. 2023
Rapport
hal-04251779v1
|
||
Why Do Software Packages Conflict?9th Working Conference on Mining Software Repositories, Jun 2012, Zurich, Switzerland
Communication dans un congrès
hal-00694022v1
|
|||
|
The creation of a new type of scientific deposit: SoftwarePoster de conférence hal-01738741v1 |
||
|
Sources of Inter-package Conflicts in DebianLoCoCo 2011 International Workshop on Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-9
Communication dans un congrès
hal-00628589v2
|
||
|
Component Reconfiguration in the Presence of ConflictsICALP - 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
|
||
|
Identifiers for Digital Objects: the Case of Software Source Code PreservationiPRES 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
|
||
|
Attributing and Referencing (Research) Software: Best Practices and Outlook from InriaComputing in Science and Engineering, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
Article dans une revue
hal-02135891v2
|
||
|
Couplage de codes numériques, parallélisme et langages de haut niveau[Rapport de recherche] RR-4825, INRIA. 2003
Rapport
inria-00071761v1
|
||
|
Ethique du numérique, données personnelles et données d’intérêt générale. Préparation à l’agrégation d’InformatiqueMaster. France. 2023
Cours
hal-03341559v2
|
||
|
EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies[Technical Report] 2006
Rapport
hal-00697468v1
|
||
Skeletal Parallel Programming with OCAMLP3L 2.0Parallel Processing Letters, 2008, 18 (1), pp.149-164
Article dans une revue
hal-00265664v1
|
|||
|
Higher Education and Research Forges in France - Definition, uses, limitations encountered and needs analysisComité pour la science ouverte. 2023
Rapport
hal-04208924v2
|
||
Domain Decomposition and Skeleton Programming with OCamlP3lProceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
Communication dans un congrès
hal-00149565v1
|
|||
|
Adoption of Academic Tools in Open Source Communities: The Debian Case Study13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.139-150, ⟨10.1007/978-3-319-57735-7_14⟩
Communication dans un congrès
hal-01776283v1
|
||
|
Learn-OCaml : un assistant à l'enseignement d'OCamlJFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
Communication dans un congrès
hal-01962838v2
|
||
|
Scholarly Infrastructures for Research SoftwareEuropean Comission. 2020, https://op.europa.eu/fr/publication-detail/-/publication/145fd0f3-3907-11eb-b27b-01aa75ed71a1/
Rapport
hal-04134056v1
|