Necro ML: Kit de Nécromancie - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Necro ML: Kit de Nécromancie

Résumé

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
jfla23_paper_5372.pdf (196.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Timothy Bourke  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03936885

Soumis le : jeudi 12 janvier 2023-21:29:32

Dernière modification le : mardi 10 septembre 2024-13:22:41

Archivage à long terme le : jeudi 13 avril 2023-20:00:30

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03936885 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM CYBERSCHOOL JFLA2023 JFLA
116 Consultations
149 Téléchargements

Partager

More