Sites Inria

There are 10 Results with the keyword : "OCaml"

Réunion développeurs

Nouveautés dans OCaml

18/06/2014

Place : Paris - Rocquencourt - Bâtiment 14

Guest(s) : Gabriel Scherer (Gallium)

Keywords:

Home > Centre > Paris > Calendar > Nouveautés dans OCaml

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

21/02/2017

Place : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 15h45

Guest(s) : Jacques Garrigue (Nagoya University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

27/03/2017

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

Guest(s) : Thomas Williams (Inria Paris)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Award

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy,Gallium project team leader at the Inria Paris-Rocquencourt research centre, has been awarded the Royal Society Milner Award 2016 in recognition of his research on the OCaml functional programming language and on the formal verification of compilers. This prize, created in homage to Professor Robin Milner, rewards a European researcher for his or her exceptional contribution to computer science.

Keywords:

Home > Centre > Paris > News > Xavier Leroy, Royal Society Milner Award 2016

More

Start-up - OCamlPro

Interview with Fabrice Le Fessant

12/03/2014

OCamlPro offers services and tools to enable the rapid development of high quality software. Its expertise in OCaml empowers this start-up to develop its activity in all areas where code correction, high availability and security are of major importance. The OCaml programming language, distributed as free software by Inria, is the fruit of 25 years of research and development.

Fabrice Le Fessant, one of the founders of OCamlPro and scientific advisor to the company, spoke to us about its creation... 

Keywords:

Home > Innovation > Research Partnerships & Transfer > Start-ups > OCamlPro

More

Partnership

Partnership with Tezos Foundation

23/03/2018

Inria annonces a partnership with the Tezos Foundation, which has just announced its support for the OCaml Foundation, and has committed funds for a group of experienced Inria researchers to review the Tezos codebase.

Keywords:

Home > News > News from Inria > Partenariat avec la Fondation Tezos

More

© 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.

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

Guest(s) : Guillaume Munch-Maccagnoni

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Resarch team 's seminary

Gallium seminary

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.

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

Guest(s) : Gabriel Scherer, Inria Saclay

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Xavier Leroy © Inria / Photo G. Scagnelli

Inria Awards 2018

Xavier Leroy : Inria - French Académie des sciences Grand Prize

In November 2018, Xavier Leroy will join the Collège de France as the ‘Software Sciences’ chair. A marvellous acknowledgement for the architect of two great Inria successes: the functional programming language OCaml and the formally verified compiler CompCert.

Keywords:

Home > Institute > Inria in brief > Prix Inria par année > 2018 Prize winners > Xavier Leroy : Grand Prix

More

Inria Awards 2018

Inria Awards 2018 winners

14/12/2018

Lets's discover the men and women who contribute to innovative computer science and mathematics and drive the development of our digital world. The Inria Awards also underline the contributions of research and innovation support teams who play a significant part in the efficiency and successes of Inria. The 2018 winners are honoured on December 18, 2018 at a ceremony dedicated to them at the Collège de France.

Keywords:

Home > News > News from Inria > Palmarès des Prix Inria 2018

More

Top