swMATH28614MaRDI QIDQ40328FDOQ40328
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-642-14052-5_29
Cited In (13)
- Eliminating dependent pattern matching without K
- Equations: a dependent pattern-matching compiler
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
- Epigram
- Irdis
- ORME
- Ghostbuster
- AmiCo
- A3PAT
- FreeSpec
- Foundations of dependent interoperability
- Mechanically certifying formula-based Noetherian induction reasoning
- Elaborating dependent (co)pattern matching: no pattern left behind
This page was built for software: Equations
