TY  - RPRT
TI  - An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
AU  - Letterio Galletta
AU  - Giorgio Levi
PY  - 2011
DO  - 10.4204/eptcs.61.6
UR  - https://arxiv.org/abs/1108.2359
ID  - 1108.2359
ER  -