HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Unfolding ML datatype declarations without loops

Nicolas Chataing 1 Gabriel Scherer 2
1 ENS-PSL - École normale supérieure - Paris
2 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03510898
Contributor : Scherer Gabriel Connect in order to contact the contributor
Submitted on : Tuesday, January 4, 2022 - 4:36:49 PM
Last modification on : Friday, March 18, 2022 - 3:38:34 AM

File

Vignette du document
constructor-unboxing-ml-worksh...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03510898, version 1

Collections

LIX | PSL | X-LIX | X | X-DEP-INFO | IP_PARIS | INRIA | GS-COMPUTER-SCIENCE | CNRS | UNIV-PARIS-SACLAY | INRIA2

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

12

Files downloads

23