1. Ocsigen: typing web interaction with Objective Caml;Balat,2006
2. First-Class Phantom Types;Cheney,2003
3. Ur/Web: a simple model for programming the web;Chlipala,2015
4. A theory of RPC calculi for client-server model;Choi;J. Funct. Program.,2019
5. Links: web programming without tiers;Cooper,2007