Sites Inria

Version française

Latest news

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

lire la suite

Top