Ribbit

Ribbit is a compiler for pattern languagescwith algebraic data types which is parameterized by the memory representation of types. Given a memory representation, it generates efficient and correct code for pattern matching clauses.

Domaines

Langage de programmation [cs.PL]

Gabriel Radanne : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 18 novembre 2022-15:57:43

Dernière modification le : jeudi 4 avril 2024-18:21:07

Dates et versions

hal-03860442 , version 1 (18-11-2022)

Identifiants

HAL Id : hal-03860442 , version 1
SWHID : swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/

version :
Licences : MIT License
Langage de programmation : OCaml
Code Repository : https://gitlab.inria.fr/ribbit/ribbit

Citer

Gabriel Radanne, Laure Gonnord, Thaïs Baudon. Ribbit. 2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩. ⟨hal-03860442⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UGA CNRS INRIA UNIV-LYON1 LCIS INRIA2 UDL

76 Consultations

9 Téléchargements