34 citations
- Laboratoire de Mesure du Carbone 14FR9 papers
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Université Paris-SaclayFR5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- École Normale Supérieure Paris-SaclayFR4 papers
- École PolytechniqueFR4 papers
- Mathématiques et Informatique pour la Complexité et les Systèmes3 papers
- CentraleSupélecFR2 papers
- Centre Inria de SaclayFR2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Atos (France)FR1 paper
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Termination of modulo rewriting using the size-change principle (work in progress)
Frédéric Blanqui, Guillaume Genestier
The Size-Change Termination principle was first introduced to study the termination of first-order functional programs. In this work, we show that it can also be used to study the…
cs.PL2018★ 5 cited
Abstract Representation of Binders in OCaml using the Bindlib Library
Rodolphe Lepigre, Christophe Raffalli
The Bindlib library for OCaml provides a set of tools for the manipulation of data structures with variable binding. It is very well suited for the representation of abstract synta…