Unfolding ML datatype declarations without loops - Archive ouverte HAL Access content directly
Conference Papers Year :

Unfolding ML datatype declarations without loops

(1) , (2)
1
2

Domains

Computer Science [cs] Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
constructor-unboxing-ml-workshop-2021.pdf (418.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Scherer Gabriel  : Connect in order to contact the contributor

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

Submitted on : Tuesday, January 4, 2022-4:36:49 PM

Last modification on : Friday, March 18, 2022-3:38:34 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-03510898 , version 1

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 PSL UNIV-PARIS-SACLAY IP_PARIS GS-COMPUTER-SCIENCE
14 View
28 Download

Share

Gmail Facebook Twitter LinkedIn More