Sites Inria

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

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

© 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

Séminaire Gallium

Séminaire Gallium

21/01/2019

Lieu : 2 rue Simone Iff 75012, Salle JLL1, bât. C - 10h30

Intervenant(s) : Frédéric Bour

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria