Unfolding ML datatype declarations without loops - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Unfolding ML datatype declarations without loops

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
constructor-unboxing-ml-workshop-2021.pdf (418.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Scherer Gabriel  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 4 janvier 2022-16:36:49

Dernière modification le : jeudi 1 août 2024-17:08:02

Télécharger pour visualiser

Dates et versions

hal-03510898 , version 1 (04-01-2022)

Identifiants

  • HAL Id : hal-03510898 , version 1

Citer

Nicolas Chataing, Gabriel Scherer. Unfolding ML datatype declarations without loops. ML Family Workshop, Aug 2021, online, South Korea. ⟨hal-03510898⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X ENS-PARIS CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 PSL IP_PARIS GS-COMPUTER-SCIENCE
25 Consultations
51 Téléchargements

Partager

More