notesum.ai

Published at November 28

Tail Modulo Cons, OCaml, and Relational Separation Logic

cs.PL

Released Date: November 28, 2024

Authors: Clément Allain1, Frédéric Bour2, Basile Clément3, François Pottier1, Gabriel Scherer4

Aff.: 1Inria, France; 2Tarides, France; 3OCamlPro, France; 4Inria, France and IRIF, Université Paris Cité, France

Arxiv: http://arxiv.org/pdf/2411.19397v1