Links: Web programming without tiers
Definitional interpreters for higher-order programming languages