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
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
Réunion développeurs
Nouveautés dans OCaml
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 :
Séminaire des équipes de recherche
Séminaire Gallium
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 :
Séminaire des équipes de recherche
Séminaire Gallium
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 :
Prix et distinction
Xavier Leroy, Royal Society Milner Award 2016
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
Start-up - OCamlPro
Interview de Fabrice Le Fessant
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
Partenariat
Partenariat avec la Fondation Tezos
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
Séminaire des équipes de recherche
Séminaire Gallium
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 :
Séminaire des équipes de recherche
Séminaire Gallium
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 :
© 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
Centres de recherche Inria
