Equations

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