Sites Inria

Il y a 1 Résultats avec le mot clé : "Gabriel Scherer"

© 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

Haut de page

Suivez Inria