An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

Letterio Galletta Giorgio Levi An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language WWV 2011 81-95 http://dx.doi.org/10.4204/EPTCS.61.6 journals/corr/abs-1108-2085 db/series/eptcs/eptcs61.html#abs-1108-2359