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

Letterio Galletta, Giorgio Levi

Types-and-effects are type systems, which allow one to express general semantic properties and to statically reason about program's execution. They have been widely exploited to sp…