Rencontre de Mai 2013

Le programme de cette nouvelle rencontre :

19h30-19h40 : Intro et nouvelles

19h40-20h05 : Esther Baruk : LexiFi: usage d'OCaml pour décrire des contrats financiers

20h05-20h30 : Gabriel Scherer : comment mieux interagir avec l'équipe du noyau d'OCaml
20h30-20h55 : Benoît Vaugon : que peut-on faire avec le bytecode d'OCaml ?

20h55-21h20 : Frédéric Bour : Merlin, un IDE OCaml pour VIM

(reporté) Pierre Chambart : les GADT dans la pratique

21h20-21h30 : Discussions ouvertes/démos flash

21h30 : Pizzas (offertes par LexiFi !)

N'hésitez pas à proposer aussi de faire votre propre petit exposé ou démo (5 minutes chaque) !