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
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

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

Identifiers

  • HAL Id : hal-03510898, version 1

Citation

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

Share

Metrics

Record views

12

Files downloads

23