scientific article; zbMATH DE number 7779291

arXiv2207.03994MaRDI QIDQ6068929

Unnamed Author, Catherine Dubois, Unnamed Author

Publication date: 15 December 2023

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

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

Mathematics Subject Classification ID

Computer science (68-XX) Order, lattices, ordered algebraic structures (06-XX)

Cites Work

• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Disciplined, efficient, generalised folds for nested datatypes
• Generalised folds for nested datatypes
• The \textsc{MetaCoq} project
• Transporting functions across ornaments
• Meta-theory à la carte
• Finger trees: a simple general-purpose data structure
• Dependently Typed Programming in Agda
• Purely Functional Data Structures

This page was built for publication: