Ribbit - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Logiciel Année : 2022

Ribbit

Résumé

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

Consulter sur Present sur SoftwareHeritage

Dates et versions

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

Identifiants

Métadonnées

  • version :
  • softwareLicence : MIT License
  • programmingLanguage : OCaml
  • codeRepository : https://gitlab.inria.fr/ribbit/ribbit

Citer

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

Partager

Gmail Facebook X LinkedIn More