30 years of research and development around Coq
Abstract
No abstract available.
Related papers
- Industrial perspectives panel PPoPP 2009
- Special issue on Programming with Dependent Types Editorial JFP 2017
- People Do Not Want to Learn a New Language But a New Library (Keynote) SLE 2022
- Coq Coq correct! verification of type checking and erasure for Coq, in Coq POPL 2020
- Identifying and Correcting Programming Language Behavior Misconceptions OOPSLA 2024
- Is hardware innovation over? PPoPP 2010
- Teaching Functional Programming to First-Year Students JFP 1993
- LearnLib: 10 years later CAV 2025