Cited in
(12)- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
- Incorporating quotation and evaluation into Church's type theory
- Incorporating quotation and evaluation into Church's type theory: syntax and semantics
- MetaPRL
- MetaOCaml
- HOL2P
- HOL Light QE
- Lava
- muFP
- HOL Light QE
- A reflective functional language for hardware design and theorem proving
- Mothers of pipelines
This page was built for software: reFLect
