Research Overview

Academic and architectural framing of Ora. intended for readers who want the language and compiler as a research object: formal semantics, IR design, and proof-oriented compiler structure.

Use this track for:

• Formal Verification
• Research Snapshot
• Compiler Architecture
• Type System
• Comptime
• SMT Verification
• Refinement Types