Master 2 Internship at LIP6 on Reactive Typed Programming in Web