reFLect

MaRDI QIDQ34508swMATHFDO

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
• 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