reFLect

MaRDI QIDQ34508swMATHFDO

Official website https://www.cs.ox.ac.uk/tom.melham/res/reflect.html

Cited in

(12)

• MetaPRL
• Incorporating quotation and evaluation into Church's type theory
• HOL Light QE
• MetaOCaml
• Incorporating quotation and evaluation into Church's type theory: syntax and semantics
• Mothers of pipelines
• HOL2P
• A reflective functional language for hardware design and theorem proving
• Lava
• muFP
• HOL Light QE
• A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL

This page was built for software: reFLect