Julien Richard-Foy

Learn More
Writing large Web applications is known to be difficult. One challenge comes from the fact that the application's logic is scattered into heterogeneous clients and servers, making it difficult to share code between both sides or to move code from one side to the other. Another challenge is performance: while Web applications rely on ever more code on the(More)
Acknowledgements I thank Martin Odersky for supervising my graduate studies. I thank Viktor Kuncak, Rachid Guerraoui, Amal Ahmed and Philip Wadler for agreeing to be part of my thesis jury. I met Amal at the Oregon Programming Language Summer School in 2012, and she opened my eyes to a world of proofs beyond the canon. I met Phil at POPL in Rome, where we(More)
  • 1