swMATH22717MaRDI QIDQ34508FDOQ34508
Author name not available (Why is that?)
Official website: https://www.cs.ox.ac.uk/tom.melham/res/reflect.html
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
- HOL Light QE
- HOL2P
- HOL Light QE
- Lava
- muFP
- A reflective functional language for hardware design and theorem proving
- Mothers of pipelines
This page was built for software: reFLect
