Sites Inria

Il y a 12 Résultats avec le mot clé : "OCaml"

© Inria

Conférence scientifique

Fabrice Le Fessant - OCaml : promouvoir dans l’industrie un langage de programmation issu de la recherche

6/02/2014

OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2014 > Fabrice Le Fessant - OCaml : promouvoir dans l’industrie un langage de programmation issu de la recherche

Lire la suite

Réunion développeurs

Nouveautés dans OCaml

18/06/2014

L'évolution du langage OCaml porte l'empreinte de la diversité de sa communauté (entre recherche, industrie, et communauté du logiciel libre), avec une frontière souvent floue entre les changements motivés par un intérêt théorique et par des besoins concrets de développement logiciel.

Lieu : Paris - Rocquencourt - Bâtiment 14

Intervenant(s) : Gabriel Scherer (Gallium)

Mots-clés :

Accueil > Centre > Paris > Agenda > Nouveautés dans OCaml

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

21/02/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 14h30

Intervenant(s) : Pierrick Couderc, Jacques Garrigue

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

27/03/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 10h30

Intervenant(s) : Thomas Williams (Inria Paris)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Prix et distinction

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a reçu le Royal Society Milner Award 2016 en reconnaissance de ses recherches sur le langage OCaml de programmation fonctionnelle et sur la vérification formelle de compilateurs. Ce prix, créé en hommage au professeur Robin Milner, récompense un chercheur européen pour sa contribution exceptionnelle en informatique.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy, Royal Society Milner Award 2016

Lire la suite

Start-up - OCamlPro

Interview de Fabrice Le Fessant

12/03/2014

OCamlPro fournit des services et des outils pour le développement rapide de logiciels de haute qualité. Son expertise dans le langage OCaml lui permet de développer son activité dans tous les domaines où la correction du code, la haute disponibilité et la sécurité sont des enjeux importants. Retour sur la création de cette start-up avec Fabrice Le Fessant, son fondateur…

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Start-up > OCamlPro

Lire la suite

Partenariat

Partenariat avec la Fondation Tezos

AB (*) - 23/03/2018

Inria noue un partenariat avec la Fondation Tezos : celle-ci vient en effet d’annoncer son soutien à la Fondation OCaml , sous l’égide de la Fondation Inria , et a alloué des fonds pour financer une expertise du code du projet Tezos , en cours de réalisation par des chercheurs Inria.

Mots-clés :

Accueil > Actualité > Actualités Inria > Partenariat avec la Fondation Tezos

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

25/06/2018

A new understanding of Stroustrup's destructors in the context of the linear call-by-push-value models gives rise to a proposal for a resource management model for ML-style programming languages.

Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Guillaume Munch-Maccagnoni

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

22/05/2018

Dans cet exposé je vais vous montrer comment implémenter un effet de non-déterminisme angélique (par exemple l'opérateur `amb`) directement en OCaml , en utilisant seulement de l'état modifiable et des exceptions. Cette implémentation peut s'étendre pour obtenir les continuations délimitées. 

Lieu : Inria de Paris- 2 rue Simone Iff- 75012 - 10h30

Intervenant(s) : Gabriel Scherer, Inria Saclay

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© Collège de France - Patrick Imbert

Prix Inria 2018

Xavier Leroy : Grand Prix – Académie des sciences

En novembre 2018, Xavier Leroy a fait son entrée au Collège de France sur la chaire de Sciences du Logiciel. Une belle reconnaissance pour celui qui a été l'architecte de deux grandes réussites made in Inria : le langage de programmation fonctionnel OCaml et le compilateur formellement vérifié CompCert.

Mots-clés :

Accueil > Institut > Inria en bref > Prix Inria par année > Lauréats 2018 > Xavier Leroy : Grand Prix

Lire la suite

Haut de page

Suivez Inria