scientific article; zbMATH DE number 7649954

DOI10.4230/LIPIcs.ITP.2019.5MaRDI QIDQ5875410

Reynald Affeldt, Kazunari Tanaka, Jacques Garrigue, Xuanrui Qi

Publication date: 3 February 2023

Full work available at URL: https://arxiv.org/abs/1904.02809

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

succinct data structurescoqbit vectorsLOUDSself balancing treessmall-scale reflection

Mathematics Subject Classification ID

Uses Software

• Coq
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Certification of breadth-first algorithms by extraction
• Red-black trees with types
• Fully Functional Static and Dynamic Succinct Trees
• Automatic Functional Correctness Proofs for Functional Search Trees
• Purely Functional Data Structures
• Programming Languages and Systems
• How to make ad hoc proof automation less ad hoc

This page was built for publication: