An OCaml use case for strong call-by-need reduction - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

An OCaml use case for strong call-by-need reduction

Un usage de la réduction paresseuse forte pour OCaml

Résumé

We present a use-case for strong call-by-need reduction motivated not by a proof assistant, but by the normalization of module "shapes" in the OCaml compiler for tooling purposes.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
shapes-workshop.pdf (287.92 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-03947986

Soumis le : mercredi 25 janvier 2023-10:08:22

Dernière modification le : vendredi 8 novembre 2024-16:32:05

Archivage à long terme le : mercredi 26 avril 2023-18:05:58

Télécharger pour visualiser

Dates et versions

hal-03947986 , version 1 (25-01-2023)

Identifiants

  • HAL Id : hal-03947986 , version 1

Citer

Gabriel Scherer, Nathanaëlle Courant. An OCaml use case for strong call-by-need reduction. ACM SIGPLAN Workshop on ML 2022 - ML Family Workshop, Benoit Montagu, Sep 2022, Ljubljana, Slovenia. ⟨hal-03947986⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA CDF LIX X-LIX X-DEP-INFO INRIA2 PSL IP_PARIS GS-COMPUTER-SCIENCE
91 Consultations
78 Téléchargements

Partager

More