论文信息 - Translating canonical SQL to imperative code in Coq - 字舞流文

Translating canonical SQL to imperative code in Coq

Avraham Shinnar | Véronique Benzaken | Louis Mandel | C. Keller | Évelyne Contejean | Mohammed Houssem Hachmaoui | J'erome Sim'eon