Volgen
Milla Valnet
Milla Valnet
PhD Student at Sorbonne Université
Geverifieerd e-mailadres voor lip6.fr
Titel
Geciteerd door
Geciteerd door
Jaar
Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs
M Valnet, R Monat, A Miné
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 211-242, 2023
12023
Chamelon: un minimiseur pour et en OCaml
M Valnet, N Courant, G Bury, P Chambart, V Laviron
35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024
2024
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2