An OCaml use case for strong call-by-need reduction - École polytechnique Accéder directement au contenu
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 : mardi 3 octobre 2023-17:18:04

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
55 Consultations
45 Téléchargements

Partager

Gmail Facebook X LinkedIn More