An OCaml use case for strong call-by-need reduction - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

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

Un usage de la réduction paresseuse forte pour OCaml

Abstract

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.
Fichier principal
Vignette du fichier
shapes-workshop.pdf (287.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03947986 , version 1

Cite

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⟩
15 View
8 Download

Share

Gmail Facebook Twitter LinkedIn More