A reflective functional language for hardware design and theorem proving

DOI10.1017/S0956796805005757zbMath1086.68526MaRDI QIDQ3377460

No author found.

Publication date: 22 March 2006

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

reFLect programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Computer system organization (68M99)

Related Items (5)

Incorporating quotation and evaluation into Church's type theory ⋮ A calculus for hardware description ⋮ A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL ⋮ Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics ⋮ Mothers of Pipelines

Uses Software

• OCaml
• LCF
• reFLect
• Unnamed Item
• Unnamed Item

This page was built for publication: A reflective functional language for hardware design and theorem proving