Necro ML: Kit de Nécromancie - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2023

Necro ML: Kit de Nécromancie

Abstract

On présente Necro ML, un outil pour générer des interpréteurs OCaml à partir de sémantiques en Skel, un langage minimaliste de description de sémantiques. Ces interpréteurs sont modulaires, en exploitant des monades pour interpréter les calculs.
Fichier principal
Vignette du fichier
jfla23_paper_5372.pdf (196.07 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03936885 , version 1 (12-01-2023)

Identifiers

  • HAL Id : hal-03936885 , version 1

Cite

Louis Noizet, Alan Schmitt. Necro ML: Kit de Nécromancie. JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.296-298. ⟨hal-03936885⟩
104 View
134 Download

Share

More