Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Verified Extraction from Coq to OCaml with GADTs

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Correct and Complete Type Checking and Certified Erasure for Coq, in Coq

Autoren: Matthieu Sozeau (1, 2) , Yannick Forster (2) , Meven Lennon-Bertrand (3) , Jakob Botsch Nielsen (4) , Nicolas Tabareau (2, 5) , Théo Winterhalter (6)
Veröffentlicht in: 2023
Herausgeber: HAL

Verified Extraction from Coq to OCaml

Autoren: Yannick Forster (1) , Matthieu Sozeau (2) , Nicolas Tabareau (2)
Veröffentlicht in: HAL 2023, 2024
Herausgeber: HAL

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0