Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Verified Extraction from Coq to OCaml with GADTs

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

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

Autorzy: Matthieu Sozeau (1, 2) , Yannick Forster (2) , Meven Lennon-Bertrand (3) , Jakob Botsch Nielsen (4) , Nicolas Tabareau (2, 5) , Théo Winterhalter (6)
Opublikowane w: 2023
Wydawca: HAL

Verified Extraction from Coq to OCaml

Autorzy: Yannick Forster (1) , Matthieu Sozeau (2) , Nicolas Tabareau (2)
Opublikowane w: HAL 2023, 2024
Wydawca: HAL

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0