Binding and Type Checking in Database Programming Languages

Il est montre comment certaines tâches programmees necessitent un certain retard. Une selection de langages est etudiee avec l'objectif de determiner comment elles peuvent decrire des operations statiques et retardees