From Lost to the River: Embracing Sort Proliferation - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2023

From Lost to the River: Embracing Sort Proliferation

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
main.pdf (222.34 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence
CC0 - Public Domain Dedication

Pierre-Marie Pédrot  : Connect in order to contact the contributor

https://inria.hal.science/hal-04378939

Submitted on : Monday, January 8, 2024-11:25:44 AM

Last modification on : Tuesday, August 27, 2024-12:56:07 PM

Download

Dates and versions

hal-04378939 , version 1 (08-01-2024)

Licence

CC0 - Public Domain Dedication

Identifiers

  • HAL Id : hal-04378939 , version 1

Cite

Gaëtan Gilbert, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau. From Lost to the River: Embracing Sort Proliferation. TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-2. ⟨hal-04378939⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
51 View
28 Download

Share

More