Autosubst

MaRDI QIDQ34460swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-22102-1_24

Cited in

(12)

• Binding structures as an abstract data type
• Rensets and renaming-based recursion for syntax with bindings
• Gmeta
• LNgen
• PoplMark
• CoCaml
• foetus
• MetaCoq
• coq-library-undecidability
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
• Trakhtenbrot’s Theorem in Coq
• Zooid

This page was built for software: Autosubst