A compact, semantic component language for modern web applications: layered neutral surfaces, precise Inter…