Necro ML: Kit de Nécromancie - Trente-Quatrièmes Journées Francophones des Langages Applicatifs Accéder directement au contenu
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 12 décembre 2023-09:55:42

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
92 Consultations
99 Téléchargements

Partager

Gmail Facebook X LinkedIn More